Fix error-message suppress on given equalities
[ghc.git] / testsuite / tests / typecheck / should_fail / T13446.stderr
1
2 T13446.hs:34:17: error:
3     • Couldn't match expected type ‘Dict (JReference (JComparable a))’
4                   with actual type ‘Char’
5     • In the first argument of ‘Sub’, namely ‘'a'’
6       In the expression: Sub 'a'
7       In an equation for ‘lifting’: lifting = Sub 'a'
8     • Relevant bindings include
9         lifting :: JReference a :- JReference (JComparable a)
10           (bound at T13446.hs:34:3)