Commit a9c1f57d authored by simonpj's avatar simonpj
Browse files

Follow output

parent d31d4958
......@@ -5,4 +5,11 @@ drvfail011.hs:8:0:
Possible fix: add (Eq a) to the context of the instance declaration
In the expression: ((a1 == b1))
In the definition of `==': == (T1 a1) (T1 b1) = ((a1 == b1))
When typechecking a standalone-derived method for `Eq (T a)':
== (T1 a1) (T1 b1) = ((a1 == b1))
== a b
= case (ShouldFail.$con2tag_T a) of {
a#
-> case (ShouldFail.$con2tag_T b) of {
b# -> (a# GHC.Prim.==# b#) } }
In the instance declaration for `Eq (T a)'
tcfail206.hs:5:4:
Couldn't match expected type `Int' against inferred type `Bool'
Expected type: Bool -> (Int, Bool)
Inferred type: Bool -> (Bool, Bool)
In the expression: (, True)
In the definition of `a': a = (, True)
tcfail206.hs:8:4:
Couldn't match expected type `Bool -> (Int, Bool)'
against inferred type `(t, Int)'
Expected type: Int -> Bool -> (Int, Bool)
Inferred type: Int -> (t, Int)
In the expression: (1,)
In the definition of `b': b = (1,)
tcfail206.hs:11:4:
Couldn't match expected type `a' against inferred type `Bool'
`a' is a rigid type variable bound by
the type signature for `c' at tcfail206.hs:10:5
Expected type: a -> (a, Bool)
Inferred type: a -> (Bool, a)
In the expression: (True || False,)
In the definition of `c': c = (True || False,)
tcfail206.hs:14:4:
Couldn't match expected type `Int' against inferred type `Bool'
Expected type: Bool -> (# Int, Bool #)
Inferred type: Bool -> (# Bool, Bool #)
In the expression: (# , True #)
In the definition of `d': d = (# , True #)
tcfail206.hs:17:4:
Couldn't match expected type `Bool -> (# Int, Bool #)'
against inferred type `(# t, Int #)'
Expected type: Int -> Bool -> (# Int, Bool #)
Inferred type: Int -> (# t, Int #)
In the expression: (# 1, #)
In the definition of `e': e = (# 1, #)
tcfail206.hs:20:4:
Couldn't match expected type `a' against inferred type `Bool'
`a' is a rigid type variable bound by
the type signature for `f' at tcfail206.hs:19:5
Expected type: a -> (# a, Bool #)
Inferred type: a -> (# Bool, a #)
In the expression: (# True || False, #)
In the definition of `f': f = (# True || False, #)
tcfail206.hs:5:4:
Couldn't match expected type `Bool' against inferred type `Int'
In the expression: (, True)
In the definition of `a': a = (, True)
tcfail206.hs:8:4:
Couldn't match expected type `Bool -> (Int, Bool)'
against inferred type `(t, Int)'
In the expression: (1,)
In the definition of `b': b = (1,)
tcfail206.hs:11:5:
Couldn't match expected type `a' against inferred type `Bool'
`a' is a rigid type variable bound by
the type signature for `c' at tcfail206.hs:10:5
In the expression: True || False
In the expression: (True || False,)
In the definition of `c': c = (True || False,)
tcfail206.hs:14:4:
Couldn't match expected type `Bool' against inferred type `Int'
In the expression: (# , True #)
In the definition of `d': d = (# , True #)
tcfail206.hs:17:4:
Couldn't match expected type `Bool -> (# Int, Bool #)'
against inferred type `(# t, Int #)'
In the expression: (# 1, #)
In the definition of `e': e = (# 1, #)
tcfail206.hs:20:6:
Couldn't match expected type `a' against inferred type `Bool'
`a' is a rigid type variable bound by
the type signature for `f' at tcfail206.hs:19:5
In the expression: True || False
In the expression: (# True || False, #)
In the definition of `f': f = (# True || False, #)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment