Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T8566.stderr
1
2 T8566.hs:34:9: error:
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:32:10-67
7       or from: 'AA t (a : as) ~ 'AA t1 as1
8         bound by a pattern with constructor:
9                    A :: forall v (t :: v) (as :: [U *]) (r :: [*]). I ('AA t as) r,
10                  in an equation for ‘c’
11         at T8566.hs:34:5
12       The type variable ‘fs0’ is ambiguous
13       Relevant bindings include
14         c :: I ('AA t (a : as)) ps -> I ('AA t (a : as)) ps
15           (bound at T8566.hs:34:3)
16     • In the expression: c undefined
17       In an equation for ‘c’: c A = c undefined
18       In the instance declaration for ‘C ('AA t (a : as)) ps fs’