@@ -12,9 +12,9 @@ module Main where
1212 test1 :: forall n. (Num n) => n -> n -> (n -> n -> n) -> n
1313 test1 x y z = x * y + z x y
1414
15− test2 = (\x -> x.foo false) { foo : \_ -> 1 }
15+ test2 = (\x -> x.foo false) { foo : \_ -> 1.0 }
1616
17− test3 = (\x y -> x)(1 + 2 * (1 + 2)) (true && (false || false))
17+ test3 = (\x y -> x)(1.0 + 2.0 * (1.0 + 2.0)) (true && (false || false))
1818
1919 k = \x -> \y -> x
2020
@@ -25,9 +25,9 @@ module Main where
2525 (%%) :: Number -> Number -> Number
2626 (%%) x y = x * y + y
2727
28− test5 = 1 %% 2 %% 3
28+ test5 = 1.0 %% 2.0 %% 3.0
2929
30− test6 = ((\x -> x) `k` 2) 3
30+ test6 = ((\x -> x) `k` 2.0) 3.0
3131
3232 (<+>) :: String -> String -> String
3333 (<+>) = \s1 s2 -> s1 ++ s2
@@ -49,7 +49,7 @@ module Main where
4949 (...) :: forall a. [a] -> [a] -> [a]
5050 (...) = \as -> \bs -> as
5151
52− test11 = [1, 2, 3] ... [4, 5, 6]
52+ test11 = [1.0, 2.0, 0.0] ... [4.0, 5.0, 6.0]
5353
5454 test12 (<%>) a b = a <%> b
5555
@@ -62,21 +62,21 @@ module Main where
6262 test15 a b = const false $ a `test14` b
6363
6464 test17 :: Number
65− test17 = negate (-1)
65+ test17 = negate (-1.0)
6666
6767 test18 :: Number
68− test18 = negate $ negate 1
68+ test18 = negate $ negate 1.0
6969
7070 test19 :: Number
71− test19 = negate $ negate (-1)
71+ test19 = negate $ negate (-1.0)
7272
7373 test20 :: Number
74− test20 = 1 @ 2
74+ test20 = 1.0 @ 2.0
7575 where
7676 (@) x y = x + y * y
7777
7878 main = do
79− let t1 = test1 1 2 (\x y -> x + y)
79+ let t1 = test1 1.0 2.0 (\x y -> x + y)
8080 let t2 = test2
8181 let t3 = test3
8282 let t4 = test4
@@ -87,10 +87,10 @@ module Main where
8787 let t9 = test9
8888 let t10 = test10
8989 let t11 = test11
90− let t12 = test12 k 1 2
91− let t13 = test13 k 1 2
92− let t14 = test14 1 2
93− let t15 = test15 1 2
90+ let t12 = test12 k 1.0 2.0
91+ let t13 = test13 k 1.0 2.0
92+ let t14 = test14 1.0 2.0
93+ let t15 = test15 1.0 2.0
9494 let t17 = test17
9595 let t18 = test18
9696 let t19 = test19