@@ -41,6 +41,12 @@ test7 = let
42 in if f true then f 1 else f 2
42 in if f true then f 1 else f 2
44+test8 :: Number -> Number
46+ go y | (x - 0.1 < y * y) && (y * y < x + 0.1) = y
47+ go y = go $ (y + x / y) / 2
45 Debug.Trace.print (test1 1)
51 Debug.Trace.print (test1 1)
46 Debug.Trace.print (test2 1 2)
52 Debug.Trace.print (test2 1 2)
@@ -49,3 +55,4 @@ main = do
49 Debug.Trace.print test5
55 Debug.Trace.print test5
50 Debug.Trace.print test6
56 Debug.Trace.print test6
51 Debug.Trace.print test7
57 Debug.Trace.print test7
58+ Debug.Trace.print (test8 100)