Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3440.stderr
1 \r
2 T3440.hs:11:22:\r
3     Could not deduce (a1 ~ a)\r
4     from the context (Fam a ~ Fam a1)\r
5       bound by a pattern with constructor:\r
6                  GADT :: forall a. a -> Fam a -> GADT (Fam a),\r
7                in an equation for ‘unwrap’\r
8       at T3440.hs:11:9-16\r
9       ‘a1’ is a rigid type variable bound by\r
10            a pattern with constructor:\r
11              GADT :: forall a. a -> Fam a -> GADT (Fam a),\r
12            in an equation for ‘unwrap’\r
13            at T3440.hs:11:9\r
14       ‘a’ is a rigid type variable bound by\r
15           the type signature for: unwrap :: GADT (Fam a) -> (a, Fam a)\r
16           at T3440.hs:10:11\r
17     Relevant bindings include\r
18       y :: Fam a1 (bound at T3440.hs:11:16)\r
19       x :: a1 (bound at T3440.hs:11:14)\r
20       unwrap :: GADT (Fam a) -> (a, Fam a) (bound at T3440.hs:11:1)\r
21     In the expression: x\r
22     In the expression: (x, y)\r