95b9d1bb3e57ad16105fd0f85bd3879de45092bb
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018fail.stderr
1 [1 of 5] Compiling T6018Bfail       ( T6018Bfail.hs, T6018Bfail.o )
2 [2 of 5] Compiling T6018Dfail       ( T6018Dfail.hs, T6018Dfail.o )
3 [3 of 5] Compiling T6018Cfail       ( T6018Cfail.hs, T6018Cfail.o )
4 [4 of 5] Compiling T6018Afail       ( T6018Afail.hs, T6018Afail.o )
5 [5 of 5] Compiling T6018fail        ( T6018fail.hs, T6018fail.o )
6
7 T6018Afail.hs:7:15: error:
8     Type family equations violate injectivity annotation:
9       G Char Bool Int = Int -- Defined at T6018Afail.hs:7:15
10       G Bool Int Char = Int -- Defined at T6018fail.hs:15:15
11
12 T6018Dfail.hs:7:15: error:
13     Type family equations violate injectivity annotation:
14       T6018Bfail.H Bool Int Char = Int -- Defined at T6018Dfail.hs:7:15
15       T6018Bfail.H Char Bool Int = Int -- Defined at T6018Cfail.hs:8:15
16
17 T6018fail.hs:13:15: error:
18     Type family equations violate injectivity annotation:
19       F Bool Int Char = Int -- Defined at T6018fail.hs:13:15
20       F Char Bool Int = Int -- Defined at T6018fail.hs:12:15
21
22 T6018fail.hs:19:15: error:
23     Type family equations violate injectivity annotation:
24       I Int Int Int = Bool -- Defined at T6018fail.hs:19:15
25       I Int Char Bool = Bool -- Defined at T6018fail.hs:18:15
26
27 T6018fail.hs:28:15: error:
28     Type family equation violates injectivity annotation.
29     RHS of injective type family equation cannot be a type family:
30       IdProxy a = Id a -- Defined at T6018fail.hs:28:15
31
32 T6018fail.hs:36:15: error:
33     Type family equation violates injectivity annotation.
34     RHS of injective type family equation is a bare type variable
35     but these LHS type and kind patterns are not bare variables: ‘'Z’
36       P 'Z m = m -- Defined at T6018fail.hs:36:15
37
38 T6018fail.hs:37:15: error:
39     Type family equations violate injectivity annotation:
40       P ('S n) m = 'S (P n m) -- Defined at T6018fail.hs:37:15
41       P 'Z m = m -- Defined at T6018fail.hs:36:15
42
43 T6018fail.hs:42:15: error:
44     Type family equation violates injectivity annotation.
45     Type variable ‘b’ cannot be inferred from the right-hand side.
46     In the type family equation:
47       J Int b c = Char -- Defined at T6018fail.hs:42:15
48
49 T6018fail.hs:46:15: error:
50     Type family equation violates injectivity annotation.
51     Type variable ‘n’ cannot be inferred from the right-hand side.
52     In the type family equation:
53       K ('S n) m = 'S m -- Defined at T6018fail.hs:46:15
54
55 T6018fail.hs:51:15: error:
56     Type family equation violates injectivity annotation.
57     RHS of injective type family equation cannot be a type family:
58       L a = MaybeSyn a -- Defined at T6018fail.hs:51:15
59
60 T6018fail.hs:59:10: error:
61     • Polymorphic type indexes of associated type ‘PolyKindVarsF’
62         (i.e. ones independent of the class type variables)
63         must be distinct type variables
64       Expected: PolyKindVarsF '[]
65       Actual:   PolyKindVarsF '[]
66       Use -fprint-explicit-kinds to see the kind arguments
67     • In the type instance declaration for ‘PolyKindVarsF’
68       In the instance declaration for ‘PolyKindVarsC '[]’
69
70 T6018fail.hs:62:15: error:
71     Type family equation violates injectivity annotation.
72     Kind variable ‘k’ cannot be inferred from the right-hand side.
73     Use -fprint-explicit-kinds to see the kind arguments
74     In the type family equation:
75       PolyKindVars '[] = '[] -- Defined at T6018fail.hs:62:15
76
77 T6018fail.hs:66:15: error:
78     Type family equation violates injectivity annotation.
79     Kind variable ‘k’ cannot be inferred from the right-hand side.
80     Use -fprint-explicit-kinds to see the kind arguments
81     In the type family equation:
82       forall k (a :: k) (b :: k).
83         Fc a b = Int -- Defined at T6018fail.hs:66:15
84
85 T6018fail.hs:70:15: error:
86     Type family equation violates injectivity annotation.
87     Type and kind variables ‘k’, ‘a’, ‘b’
88     cannot be inferred from the right-hand side.
89     Use -fprint-explicit-kinds to see the kind arguments
90     In the type family equation:
91       forall k (a :: k) (b :: k).
92         Gc a b = Int -- Defined at T6018fail.hs:70:15
93
94 T6018fail.hs:75:15: error:
95     Type family equations violate injectivity annotation:
96       F1 (Maybe a) = Maybe (GF2 a) -- Defined at T6018fail.hs:75:15
97       F1 [a] = Maybe (GF1 a) -- Defined at T6018fail.hs:74:15
98
99 T6018fail.hs:87:15: error:
100     Type family equation violates injectivity annotation.
101     RHS of injective type family equation is a bare type variable
102     but these LHS type and kind patterns are not bare variables: ‘[a]’
103       W1 [a] = a -- Defined at T6018fail.hs:87:15
104
105 T6018fail.hs:90:15: error:
106     Type family equation violates injectivity annotation.
107     RHS of injective type family equation cannot be a type family:
108       W2 [a] = W2 a -- Defined at T6018fail.hs:90:15
109
110 T6018fail.hs:95:15: error:
111     Type family equations violate injectivity annotation:
112       Z1 (Maybe b) = (b, [b]) -- Defined at T6018fail.hs:95:15
113       Z1 [a] = (a, a) -- Defined at T6018fail.hs:94:15
114
115 T6018fail.hs:99:15: error:
116     Type family equations violate injectivity annotation:
117       G1 (Maybe b) = [(b, b)] -- Defined at T6018fail.hs:99:15
118       G1 [a] = [a] -- Defined at T6018fail.hs:98:15
119
120 T6018fail.hs:103:15: error:
121     Type family equations violate injectivity annotation:
122       G3 a Bool = (Bool, a) -- Defined at T6018fail.hs:103:15
123       G3 a Int = (a, Int) -- Defined at T6018fail.hs:102:15
124
125 T6018fail.hs:106:15: error:
126     Type family equation violates injectivity annotation.
127     Type variable ‘b’ cannot be inferred from the right-hand side.
128     In the type family equation:
129       G4 a b = [a] -- Defined at T6018fail.hs:106:15
130
131 T6018fail.hs:110:15: error:
132     Type family equations violate injectivity annotation:
133       G5 Int = [Bool] -- Defined at T6018fail.hs:110:15
134       G5 [a] = [GF1 a] -- Defined at T6018fail.hs:109:15
135
136 T6018fail.hs:113:15: error:
137     Type family equation violates injectivity annotation.
138     Type variable ‘a’ cannot be inferred from the right-hand side.
139     In the type family equation:
140       G6 [a] = [HF1 a] -- Defined at T6018fail.hs:113:15
141
142 T6018fail.hs:118:15: error:
143     Type family equation violates injectivity annotation.
144     Type and kind variables ‘k’, ‘c’
145     cannot be inferred from the right-hand side.
146     Use -fprint-explicit-kinds to see the kind arguments
147     In the type family equation:
148       forall k a b (c :: k).
149         G7 a b c = [G7a a b c] -- Defined at T6018fail.hs:118:15
150
151 T6018fail.hs:129:1: error:
152     Type family equations violate injectivity annotation:
153       FC Int Bool = Bool -- Defined at T6018fail.hs:129:1
154       FC Int Char = Bool -- Defined at T6018fail.hs:125:10
155
156 T6018fail.hs:134:1: error:
157     Type family equation violates injectivity annotation.
158     RHS of injective type family equation is a bare type variable
159     but these LHS type and kind patterns are not bare variables: ‘*’, ‘Char’
160       FC Char a = a -- Defined at T6018fail.hs:134:1