Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail143.stderr
1
2 tcfail143.hs:29:6: error:
3     • Couldn't match type ‘S Z’ with ‘Z’
4         arising from a functional dependency between:
5           constraint ‘MinMax (S Z) Z Z Z’ arising from a use of ‘extend’
6           instance ‘MinMax a Z Z a’ at tcfail143.hs:11:10-23
7     • In the expression: n1 `extend` n0
8       In an equation for ‘t2’: t2 = n1 `extend` n0