f912a68cdd7c319dbe08dd77e91453a53417f2f7
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail065.stderr
1
2 tcfail065.hs:29:20:
3     Couldn't match expected type ‘x’ with actual type ‘x1’
4       ‘x1’ is a rigid type variable bound by
5            the type signature for setX :: x1 -> X x -> X x
6            at tcfail065.hs:29:3
7       ‘x’ is a rigid type variable bound by
8           the instance declaration at tcfail065.hs:28:10
9     Relevant bindings include
10       x :: x1 (bound at tcfail065.hs:29:8)
11       setX :: x1 -> X x -> X x (bound at tcfail065.hs:29:3)
12     In the first argument of ‘X’, namely ‘x’
13     In the expression: X x