Commit adcba27a authored by ian@well-typed.com's avatar ian@well-typed.com

Accept T3950 output following unicode quotes change

parent 0d7562df
T3950.hs:15:13:
Couldn't match kind `* -> *' with `*'
Couldn't match kind ‛* -> *’ with ‛*’
When matching types
w :: (* -> * -> *) -> *
Sealed :: (* -> *) -> *
Expected type: w (Id p)
Actual type: Sealed (Id p0 x0)
In the first argument of `Just', namely rp'
In the first argument of ‛Just’, namely ‛rp'’
In the expression: Just rp'
In an equation for `rp':
In an equation for ‛rp’:
rp _
= Just rp'
where
......
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