@@ -4,38 +4,38 @@ object Test {
44
55 def main (args : Array [String ]): Unit = {
66
7- println(lift(new Show )(3 ))
8- println(lift(new Eval )(3 ))
7+ println(lift[[ X ] =>> String ] (new Show )(3 ))
8+ println(lift[[ X ] =>> X ] (new Eval )(3 ))
99 println()
10- println(lift(new Show )(if (true ) 3 else 4 ))
11- println(lift(new Eval )(if (true ) 3 else 4 ))
10+ println(lift[[ X ] =>> String ] (new Show )(if (true ) 3 else 4 ))
11+ println(lift[[ X ] =>> X ] (new Eval )(if (true ) 3 else 4 ))
1212 println()
13- println(lift(new Show )(if (if (true ) true else false ) 3 else 4 ))
14- println(lift(new Eval )(if (if (true ) true else false ) 3 else 4 ))
13+ println(lift[[ X ] =>> String ] (new Show )(if (if (true ) true else false ) 3 else 4 ))
14+ println(lift[[ X ] =>> X ] (new Eval )(if (if (true ) true else false ) 3 else 4 ))
1515 println()
16- println(lift(new Show )(if (3 <= 7 ) 3 else 4 ))
17- println(lift(new Eval )(if (3 <= 7 ) 3 else 4 ))
16+ println(lift[[ X ] =>> String ] (new Show )(if (3 <= 7 ) 3 else 4 ))
17+ println(lift[[ X ] =>> X ] (new Eval )(if (3 <= 7 ) 3 else 4 ))
1818 println()
19- println(lift(new Show )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
20- println(lift(new Eval )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
19+ println(lift[[ X ] =>> String ] (new Show )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
20+ println(lift[[ X ] =>> X ] (new Eval )(if (3 <= 7 ) 3 + 4 else 5 * 2 ))
2121 println()
22- println(lift(new Show )(((x : Int ) => x + x) (4 )))
23- println(lift(new Eval )(((x : Int ) => x + x) (4 )))
22+ println(lift[[ X ] =>> String ] (new Show )(((x : Int ) => x + x) (4 )))
23+ println(lift[[ X ] =>> X ] (new Eval )(((x : Int ) => x + x) (4 )))
2424 println()
25- println(lift(new Show )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
26- println(lift(new Eval )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
25+ println(lift[[ X ] =>> String ] (new Show )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
26+ println(lift[[ X ] =>> X ] (new Eval )(((x : Boolean ) => if (x) 3 else 4 ) (true )))
2727 println()
28- println(lift(new Show )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
29- println(lift(new Eval )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
28+ println(lift[[ X ] =>> String ] (new Show )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
29+ println(lift[[ X ] =>> X ] (new Eval )(if (((x : Int ) => x <= x)(4 )) 3 else 4 ))
3030 println()
31- println(lift(new Show )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
32- println(lift(new Eval )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
31+ println(lift[[ X ] =>> String ] (new Show )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
32+ println(lift[[ X ] =>> X ] (new Eval )(if (((b : Boolean ) => b)(true )) 3 else 4 ))
3333 println()
34- println(lift(new Show )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
35- println(lift(new Eval )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
34+ println(lift[[ X ] =>> String ] (new Show )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
35+ println(lift[[ X ] =>> X ] (new Eval )(((f : Int => Int ) => f(4 ))((x : Int ) => x)))
3636 println()
37- println(lift(new Show )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(25 )))
38- println(lift(new Eval )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(5 )))
37+ println(lift[[ X ] =>> String ] (new Show )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(25 )))
38+ println(lift[[ X ] =>> X ] (new Eval )(((x : Int ) => Symantics .fix((self : Int => Int ) => ((n : Int ) => if (n <= 0 ) 1 else x * self(n + (- 1 )) )))(3 )(5 )))
3939 }
4040
4141}
0 commit comments