Tons of error message wibbles
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail206.stderr
index 76b5c7e..706933d 100644 (file)
@@ -13,15 +13,6 @@ tcfail206.hs:8:5:
     In the expression: (1,)
     In an equation for `b': b = (1,)
 
-tcfail206.hs:11:5:
-    Couldn't match type `a' with `Bool'
-      `a' is a rigid type variable bound by
-          the type signature for c :: a -> (a, Bool) at tcfail206.hs:11:1
-    Expected type: a -> (a, Bool)
-      Actual type: a -> (a, a)
-    In the expression: (True || False,)
-    In an equation for `c': c = (True || False,)
-
 tcfail206.hs:14:5:
     Couldn't match type `Bool' with `Int'
     Expected type: Bool -> (# Int, Bool #)
@@ -36,12 +27,3 @@ tcfail206.hs:17:5:
       Actual type: Int -> (# Integer, Int #)
     In the expression: (# 1, #)
     In an equation for `e': e = (# 1, #)
-
-tcfail206.hs:20:5:
-    Couldn't match type `a' with `Bool'
-      `a' is a rigid type variable bound by
-          the type signature for f :: a -> (# a, Bool #) at tcfail206.hs:20:1
-    Expected type: a -> (# a, Bool #)
-      Actual type: a -> (# a, a #)
-    In the expression: (# True || False, #)
-    In an equation for `f': f = (# True || False, #)