Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T13985.stderr
1
2 T13985.hs:12:1: error:
3     • Kind variable ‘k’ is implicitly bound in data family
4       ‘Fam’, but does not appear as the kind of any
5       of its type variables. Perhaps you meant
6       to bind it explicitly somewhere?
7     • In the data instance declaration for ‘Fam’
8
9 T13985.hs:15:15: error:
10     • Kind variable ‘a’ is implicitly bound in type family
11       ‘T’, but does not appear as the kind of any
12       of its type variables. Perhaps you meant
13       to bind it explicitly somewhere?
14     • In the type instance declaration for ‘T’
15
16 T13985.hs:22:3: error:
17     • Kind variable ‘k’ is implicitly bound in associated data family
18       ‘CD’, but does not appear as the kind of any
19       of its type variables. Perhaps you meant
20       to bind it explicitly somewhere?
21     • In the data instance declaration for ‘CD’
22       In the instance declaration for ‘C Type’
23
24 T13985.hs:23:8: error:
25     • Kind variable ‘a’ is implicitly bound in associated type family
26       ‘CT’, but does not appear as the kind of any
27       of its type variables. Perhaps you meant
28       to bind it explicitly somewhere?
29     • In the type instance declaration for ‘CT’
30       In the instance declaration for ‘C Type’
31
32 T13985.hs:27:3: error:
33     • Kind variable ‘x’ is implicitly bound in associated type family
34       ‘ZT’, but does not appear as the kind of any
35       of its type variables. Perhaps you meant
36       to bind it explicitly somewhere?
37       Type variables with inferred kinds: (k :: *) (a :: k)
38     • In the default type instance declaration for ‘ZT’
39       In the class declaration for ‘Z’