Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / ghci / scripts / T6018ghcifail.stderr
1
2 <interactive>:10:15: error:
3     Type family equations violate injectivity annotation:
4       F Char Bool Int = Int -- Defined at <interactive>:10:15
5       F Bool Int Char = Int -- Defined at <interactive>:11:15
6
7 <interactive>:16:15: error:
8     Type family equations violate injectivity annotation:
9       I Int Char Bool = Bool -- Defined at <interactive>:16:15
10       I Int Int Int = Bool -- Defined at <interactive>:17:15
11
12 <interactive>:26:15: error:
13     Type family equation violates injectivity annotation.
14     RHS of injective type family equation cannot be a type family:
15       IdProxy a = Id a -- Defined at <interactive>:26:15
16
17 <interactive>:34:15: error:
18     Type family equation violates injectivity annotation.
19     RHS of injective type family equation is a bare type variable
20     but these LHS type and kind patterns are not bare variables: ‘'Z’
21       P 'Z m = m -- Defined at <interactive>:34:15
22
23 <interactive>:40:15: error:
24     Type family equation violates injectivity annotation.
25     Type variable ‘b’ cannot be inferred from the right-hand side.
26     In the type family equation:
27       J Int b c = Char -- Defined at <interactive>:40:15
28
29 <interactive>:44:15: error:
30     Type family equation violates injectivity annotation.
31     Type variable ‘n’ cannot be inferred from the right-hand side.
32     In the type family equation:
33       K ('S n) m = 'S m -- Defined at <interactive>:44:15
34
35 <interactive>:49:15: error:
36     Type family equation violates injectivity annotation.
37     RHS of injective type family equation cannot be a type family:
38       L a = MaybeSyn a -- Defined at <interactive>:49:15
39
40 <interactive>:55:41: error:
41     • Polymorphic type indexes of associated type ‘PolyKindVarsF’
42         (i.e. ones independent of the class type variables)
43         must be distinct type variables
44       Expected: PolyKindVarsF '[]
45         Actual: PolyKindVarsF '[]
46       Use -fprint-explicit-kinds to see the kind arguments
47     • In the type instance declaration for ‘PolyKindVarsF’
48       In the instance declaration for ‘PolyKindVarsC '[]’
49
50 <interactive>:60:15: error:
51     Type family equation violates injectivity annotation.
52     Kind variable ‘k1’ cannot be inferred from the right-hand side.
53     Use -fprint-explicit-kinds to see the kind arguments
54     In the type family equation:
55       PolyKindVars '[] = '[] -- Defined at <interactive>:60:15
56
57 <interactive>:64:15: error:
58     Type family equation violates injectivity annotation.
59     Kind variable ‘k’ cannot be inferred from the right-hand side.
60     Use -fprint-explicit-kinds to see the kind arguments
61     In the type family equation:
62       forall k (a :: k) (b :: k).
63         Fc a b = Int -- Defined at <interactive>:64:15
64
65 <interactive>:68:15: error:
66     Type family equation violates injectivity annotation.
67     Type and kind variables ‘k’, ‘a’, ‘b’
68     cannot be inferred from the right-hand side.
69     Use -fprint-explicit-kinds to see the kind arguments
70     In the type family equation:
71       forall k (a :: k) (b :: k).
72         Gc a b = Int -- Defined at <interactive>:68:15
73
74 <interactive>:81:15: error:
75     Type family equations violate injectivity annotation:
76       F1 [a] = Maybe (GF1 a) -- Defined at <interactive>:81:15
77       F1 (Maybe a) = Maybe (GF2 a) -- Defined at <interactive>:82:15
78
79 <interactive>:85:15: error:
80     Type family equation violates injectivity annotation.
81     RHS of injective type family equation is a bare type variable
82     but these LHS type and kind patterns are not bare variables: ‘[a]’
83       W1 [a] = a -- Defined at <interactive>:85:15
84
85 <interactive>:88:15: error:
86     Type family equation violates injectivity annotation.
87     RHS of injective type family equation cannot be a type family:
88       W2 [a] = W2 a -- Defined at <interactive>:88:15
89
90 <interactive>:92:15: error:
91     Type family equations violate injectivity annotation:
92       Z1 [a] = (a, a) -- Defined at <interactive>:92:15
93       Z1 (Maybe b) = (b, [b]) -- Defined at <interactive>:93:15
94
95 <interactive>:96:15: error:
96     Type family equations violate injectivity annotation:
97       G1 [a] = [a] -- Defined at <interactive>:96:15
98       G1 (Maybe b) = [(b, b)] -- Defined at <interactive>:97:15
99
100 <interactive>:100:15: error:
101     Type family equations violate injectivity annotation:
102       G3 a Int = (a, Int) -- Defined at <interactive>:100:15
103       G3 a Bool = (Bool, a) -- Defined at <interactive>:101:15
104
105 <interactive>:104:15: error:
106     Type family equation violates injectivity annotation.
107     Type variable ‘b’ cannot be inferred from the right-hand side.
108     In the type family equation:
109       G4 a b = [a] -- Defined at <interactive>:104:15
110
111 <interactive>:107:15: error:
112     Type family equations violate injectivity annotation:
113       G5 [a] = [GF1 a] -- Defined at <interactive>:107:15
114       G5 Int = [Bool] -- Defined at <interactive>:108:15
115
116 <interactive>:111:15: error:
117     Type family equation violates injectivity annotation.
118     Type variable ‘a’ cannot be inferred from the right-hand side.
119     In the type family equation:
120       G6 [a] = [HF1 a] -- Defined at <interactive>:111:15