ad0d15e69c906381c6527b9dc2c7f02e3ada1181
[ghc.git] / testsuite / tests / polykinds / T8566.stderr
1
2 T8566.hs:31:9:
3     Could not deduce (C ('AA (t (I a ps)) as) ps fs0)
4       arising from a use of ‘c’
5     from the context (C ('AA (t (I a ps)) as) ps fs)
6       bound by the instance declaration at T8566.hs:29:10-67
7     or from ('AA t (a : as) ~ 'AA t1 as1)
8       bound by a pattern with constructor
9                  A :: forall (r :: [*]) (k :: BOX) (t :: k) (as :: [U *]).
10                       I ('AA t as) r,
11                in an equation for ‘c’
12       at T8566.hs:31:5
13     The type variable ‘fs0’ is ambiguous
14     Relevant bindings include
15       c :: I ('AA t (a : as)) ps -> I ('AA t (a : as)) ps
16         (bound at T8566.hs:31:3)
17     In the expression: c undefined
18     In an equation for ‘c’: c A = c undefined
19     In the instance declaration for ‘C ('AA t (a : as)) ps fs’