Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail065.stderr
1
2 tcfail065.hs:29:18: error:
3     • Couldn't match type ‘x1’ with ‘x’
4       ‘x1’ is a rigid type variable bound by
5         the type signature for:
6           setX :: forall x1. x1 -> X x -> X x
7         at tcfail065.hs:29:3-6
8       ‘x’ is a rigid type variable bound by
9         the instance declaration at tcfail065.hs:28:10-19
10       Expected type: X x
11         Actual type: X x1
12     • In the expression: X x
13       In an equation for ‘setX’: setX x (X _) = X x
14       In the instance declaration for ‘HasX (X x)’
15     • Relevant bindings include
16         x :: x1 (bound at tcfail065.hs:29:8)
17         setX :: x1 -> X x -> X x (bound at tcfail065.hs:29:3)