blob: 65befaf29e6743feb7c66a7f82f904da4dbd2abe (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail065.hs:29:20: error:
• Couldn't match expected type ‘x’ with actual type ‘x1’
‘x1’ is a rigid type variable bound by
the type signature for:
setX :: forall x1. 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
• In the first argument of ‘X’, namely ‘x’
In the expression: X x
• Relevant bindings include
x :: x1 (bound at tcfail065.hs:29:8)
setX :: x1 -> X x -> X x (bound at tcfail065.hs:29:3)
|
