7c26762a668e65dfa86e0e7ee5f94547a84b3b34
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail143.stderr
1
2 tcfail143.hs:29:9: error:
3     Couldn't match type ‘Z’ with ‘S 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 Z b Z b’ at tcfail143.hs:12:10-23
7     In the expression: n1 `extend` n0
8     In an equation for ‘t2’: t2 = n1 `extend` n0