Commit 285414fe authored by simonpj's avatar simonpj
Browse files

Follow error message change (Trac #4499)

parent a9535df4
tcfail032.hs:14:8: tcfail032.hs:14:8:
Couldn't match type `t' with `a -> Int' Couldn't match type `t' with `a -> Int'
because this skolem type variable would escape: `a' because type variable `a' would escape its scope
This skolem is bound by an expression type signature This (rigid, skolem) type variable is bound by
an expression type signature
The following variables have types that mention t The following variables have types that mention t
x :: t (bound at tcfail032.hs:14:3) x :: t (bound at tcfail032.hs:14:3)
In the expression: (x :: Eq a => a -> Int) In the expression: (x :: Eq a => a -> Int)
......
tcfail099.hs:9:7: tcfail099.hs:9:7:
Couldn't match type `t' with `a' Couldn't match type `t' with `a'
because this skolem type variable would escape: `a' because type variable `a' would escape its scope
This skolem is bound by This (rigid, skolem) type variable is bound by
a pattern with constructor C :: forall a. (a -> Int) -> DS a pattern with constructor C :: forall a. (a -> Int) -> DS
In the pattern: C f In the pattern: C f
In an equation for `call': call (C f) arg = f arg In an equation for `call': call (C f) arg = f arg
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