@@ -0,0 +1,49 @@
4+import Control.Monad.Eff
5+import Control.Monad.ST
19+ where f x y z = x + y + z
23+ where f x [y, z] = x y z
28+ f x | x > 0 = g (x / 2) + 1
32+test6 = if f true then f 1 else f 2
33+ where f :: forall a. a -> a
36+test7 :: Number -> Number
39+ go y | (x - 0.1 < y * y) && (y * y < x + 0.1) = y
40+ go y = go $ (y + x / y) / 2
43+ Debug.Trace.print (test1 1)
44+ Debug.Trace.print (test2 1 2)
45+ Debug.Trace.print test3
46+ Debug.Trace.print test4
47+ Debug.Trace.print test5
48+ Debug.Trace.print test6
49+ Debug.Trace.print (test7 100)