Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / indexed-types / should_fail / GADTwrong1.stderr
1 \r
2 GADTwrong1.hs:12:21:\r
3     Couldn't match expected type ‘b’ with actual type ‘c’\r
4       ‘c’ is a rigid type variable bound by\r
5           a pattern with constructor: T :: forall c. c -> T (Const c),\r
6           in a case alternative\r
7           at GADTwrong1.hs:12:14\r
8       ‘b’ is a rigid type variable bound by\r
9           the type signature for: coerce :: a -> b at GADTwrong1.hs:10:20\r
10     Relevant bindings include\r
11       y :: c (bound at GADTwrong1.hs:12:16)\r
12       coerce :: a -> b (bound at GADTwrong1.hs:11:1)\r
13     In the expression: y\r
14     In a case alternative: T y -> y\r