Commit aee6f58e authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

tcfail174: minor improvement of error message

parent b1b9bce2
......@@ -12,7 +12,6 @@ tcfail174.hs:16:13:
Couldn't match expected type `b' against inferred type `a'
`b' is a rigid type variable bound by
the type signature for `h2' at tcfail174.hs:15:14
`a'
When matching `forall a. a -> a'
and `forall a. a -> b'
Expected type: Capture (forall x. x -> b)
......
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