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