Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail130.stderr
1
2 tcfail130.hs:10:7: error:
3     • Unbound implicit parameter (?x::Int)
4         arising from a use of ‘woggle’
5     • In the expression: woggle 3
6       In an equation for ‘foo’: foo = woggle 3