Commit 212fa536 authored by rrt's avatar rrt
Browse files

[project @ 2001-08-31 12:43:39 by rrt]

Update expected output; MERGE TO STABLE BRANCH
parent c5d7e7e9
tcfail071.hs:8:
Mismatched contexts
When matching the contexts of the signatures for
g :: forall c. c -> c
f :: forall c. (Ord c) => c -> c
The signature contexts in a mutually recursive group should all be identical
When matching the contexts of the signatures for `g' and `f'
(the signature contexts in a mutually recursive group should all be identical)
When generalising the type(s) for g, f
tcfail071.hs:10:
......
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