blob: 8599dfeb2adc949469a46b518892123096942569 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail065.hs:29:20:
Couldn't match expected type ‛x’ with actual type ‛x1’
‛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:10
Relevant bindings include
setX :: x1 -> X x -> X x (bound at tcfail065.hs:29:3)
x :: x1 (bound at tcfail065.hs:29:8)
In the first argument of ‛X’, namely ‛x’
In the expression: X x
In an equation for ‛setX’: setX x (X _) = X x
|