blob: 841504d3f9818e40f0aea88cda525e6f19380bd0 (
plain)
1
2
3
4
5
6
7
8
|
tcfail143.hs:30:9: error:
• Couldn't match type ‘S Z’ with ‘Z’
arising from a functional dependency between:
constraint ‘MinMax (S Z) Z Z Z’ arising from a use of ‘extend’
instance ‘MinMax a Z Z a’ at tcfail143.hs:12:10-23
• In the expression: n1 `extend` n0
In an equation for ‘t2’: t2 = n1 `extend` n0
|