Commit 9db0189a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update output

parent 2c1ce66c
tcfail071.hs:8:0:
tcfail071.hs:9:0:
Contexts differ in length
When matching the contexts of the signatures for
f :: forall d. (Ord d) => d -> d
......@@ -7,10 +7,10 @@ tcfail071.hs:8:0:
The signature contexts in a mutually recursive group should all be identical
When generalising the type(s) for f, g
tcfail071.hs:10:21:
Couldn't match the rigid variable `e' against `a -> b -> b'
`e' is bound by the type signature for `g'
Expected type: a -> b -> b
Inferred type: e
In the first argument of `f', namely `c'
tcfail071.hs:10:19:
Couldn't match expected type `a -> b -> b'
against inferred type `e' (a rigid variable)
`e' is bound by the type signature for `g' at tcfail071.hs:8:5
In the first argument of `foldr', namely `(f c)'
In the expression: foldr (f c) [] []
In the definition of `p': p = foldr (f c) [] []
Markdown is supported
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