@@ -62,17 +62,17 @@ import Trace
62import Global
62import Global
63import Arrays
63import Arrays
66− print $ test1 1 2 $ \x y -> x + y
66+ print [ show $ test1 1 2 $ \x y -> x + y
67− print test2
67+ , show test2
68− print test3
68+ , show test3
69− print test4
69+ , show test4
70− print test5
70+ , show test5
71− print test6
71+ , show test6
72− print test7
72+ , show test7
73− print test8
73+ , show test8
74− print test9
74+ , show test9
75− print test10
75+ , show test10
76− print test11
76+ , show test11
77− print (test12 k 1 2)
77+ , show (test12 k 1 2)