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