Commit 4d014cdb authored by's avatar
Browse files

tcfail145 error message improved, too

parent 6b3d3672
Occurs check: cannot construct the infinite type: a = [a]
When generalising the type(s) for `foo'
Pattern signature must exactly match: forall a. a -> a
In the pattern: f :: forall a. [a] -> [a]
In the definition of `foo':
foo (f :: forall a. [a] -> [a]) = f undefined
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