blob: 9d94b920ff074f9315e18d6f27b41cdf2b7278bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail065.hs:29:20:
Couldn't match type `x1' with `x'
`x1' is a rigid type variable bound by
the type signature for setX :: x1 -> X x -> X x
at tcfail065.hs:29:3
`x' is a rigid type variable bound by
the instance declaration at tcfail065.hs:28:18
In the first argument of `X', namely `x'
In the expression: X x
In an equation for `setX': setX x (X _) = X x
|