Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / TcCoercibleFail3.stderr
1
2 TcCoercibleFail3.hs:12:7: error:
3     Couldn't match representation of type ‘NT1’ with that of ‘NT2’
4       arising from a use of ‘coerce’
5     In the expression: coerce
6     In an equation for ‘foo’: foo = coerce