index fb812f1..706933d 100644 (file)
@@ -1,48 +1,29 @@
-\r
-tcfail206.hs:5:5:\r
-    Couldn't match expected type `Int' with actual type `Bool'\r
-    Expected type: Bool -> (Int, Bool)\r
-      Actual type: Bool -> (Bool, t0)\r
-    In the expression: (, True)\r
-    In an equation for `a': a = (, True)\r
-\r
-tcfail206.hs:8:5:\r
-    Couldn't match expected type `Bool -> (Int, Bool)'\r
-                with actual type `(t0, Int)'\r
-    Expected type: Int -> Bool -> (Int, Bool)\r
-      Actual type: Int -> (t0, Int)\r
-    In the expression: (1,)\r
-    In an equation for `b': b = (1,)\r
-\r
-tcfail206.hs:11:5:\r
-    Couldn't match type `a' with `Bool'\r
-      `a' is a rigid type variable bound by\r
-          the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1\r
-    Expected type: a -> (a, Bool)\r
-      Actual type: Bool -> (Bool, Bool)\r
-    In the expression: (True || False,)\r
-    In an equation for `c': c = (True || False,)\r
-\r
-tcfail206.hs:14:5:\r
-    Couldn't match expected type `Int' with actual type `Bool'\r
-    Expected type: Bool -> (# Int, Bool #)\r
-      Actual type: Bool -> (# Bool, t0 #)\r
-    In the expression: (# , True #)\r
-    In an equation for `d': d = (# , True #)\r
-\r
-tcfail206.hs:17:5:\r
-    Couldn't match expected type `Bool -> (# Int, Bool #)'\r
-                with actual type `(# t0, Int #)'\r
-    Expected type: Int -> Bool -> (# Int, Bool #)\r
-      Actual type: Int -> (# t0, Int #)\r
-    In the expression: (# 1, #)\r
-    In an equation for `e': e = (# 1, #)\r
-\r
-tcfail206.hs:20:5:\r
-    Couldn't match type `a' with `Bool'\r
-      `a' is a rigid type variable bound by\r
-          the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:20:1\r
-    Expected type: a -> (# a, Bool #)\r
-      Actual type: a -> (# a, a #)\r
-    In the expression: (# True || False, #)\r
-    In an equation for `f': f = (# True || False, #)\r
+
+tcfail206.hs:5:5:
+    Couldn't match type `Bool' with `Int'
+    Expected type: Bool -> (Int, Bool)
+      Actual type: Bool -> (Bool, Bool)
+    In the expression: (, True)
+    In an equation for `a': a = (, True)
+
+tcfail206.hs:8:5:
+    Couldn't match type `(Integer, Int)' with `Bool -> (Int, Bool)'
+    Expected type: Int -> Bool -> (Int, Bool)
+      Actual type: Int -> (Integer, Int)
+    In the expression: (1,)
+    In an equation for `b': b = (1,)
+
+tcfail206.hs:14:5:
+    Couldn't match type `Bool' with `Int'
+    Expected type: Bool -> (# Int, Bool #)
+      Actual type: Bool -> (# Bool, Bool #)
+    In the expression: (# , True #)
+    In an equation for `d': d = (# , True #)
+
+tcfail206.hs:17:5:
+    Couldn't match type `(# Integer, Int #)'
+                  with `Bool -> (# Int, Bool #)'
+    Expected type: Int -> Bool -> (# Int, Bool #)
+      Actual type: Int -> (# Integer, Int #)
+    In the expression: (# 1, #)
+    In an equation for `e': e = (# 1, #)