Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt7.stderr
1 \r
2 gadt7.hs:16:38:\r
3     Couldn't match expected type ‘t’ with actual type ‘t1’\r
4       ‘t1’ is untouchable\r
5         inside the constraints (t2 ~ Int)\r
6         bound by a pattern with constructor: K :: T Int,\r
7                  in a case alternative\r
8         at gadt7.hs:16:33\r
9       ‘t1’ is a rigid type variable bound by\r
10            the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1\r
11       ‘t’ is a rigid type variable bound by\r
12           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1\r
13     Possible fix: add a type signature for ‘i1b’\r
14     Relevant bindings include\r
15       y1 :: t1 (bound at gadt7.hs:16:16)\r
16       y :: t1 (bound at gadt7.hs:16:7)\r
17       i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)\r
18     In the expression: y1\r
19     In a case alternative: K -> y1\r