ac5c2b6fe03f6eb1cfc927e83228536552bc8071
[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     Type family equation violates injectivity annotation.
62     Kind variable ‘k’ cannot be inferred from the right-hand side.
63     (enabling -fprint-explicit-kinds might help)
64     In the type family equation:
65       PolyKindVarsF '[] = '[] -- Defined at T6018fail.hs:59:10
66
67 T6018fail.hs:62:15: error:
68     Type family equation violates injectivity annotation.
69     Kind variable ‘k’ cannot be inferred from the right-hand side.
70     (enabling -fprint-explicit-kinds might help)
71     In the type family equation:
72       PolyKindVars '[] = '[] -- Defined at T6018fail.hs:62:15
73
74 T6018fail.hs:66:15: error:
75     Type family equation violates injectivity annotation.
76     Kind variable ‘k’ cannot be inferred from the right-hand side.
77     (enabling -fprint-explicit-kinds might help)
78     In the type family equation:
79       forall k (a :: k) (b :: k).
80         Fc a b = Int -- Defined at T6018fail.hs:66:15
81
82 T6018fail.hs:70:15: error:
83     Type family equation violates injectivity annotation.
84     Type and kind variables ‘k’, ‘a’, ‘b’
85     cannot be inferred from the right-hand side.
86     (enabling -fprint-explicit-kinds might help)
87     In the type family equation:
88       forall k (a :: k) (b :: k).
89         Gc a b = Int -- Defined at T6018fail.hs:70:15
90
91 T6018fail.hs:75:15: error:
92     Type family equations violate injectivity annotation:
93       F1 (Maybe a) = Maybe (GF2 a) -- Defined at T6018fail.hs:75:15
94       F1 [a] = Maybe (GF1 a) -- Defined at T6018fail.hs:74:15
95
96 T6018fail.hs:87:15: error:
97     Type family equation violates injectivity annotation.
98     RHS of injective type family equation is a bare type variable
99     but these LHS type and kind patterns are not bare variables: ‘[a]’
100       W1 [a] = a -- Defined at T6018fail.hs:87:15
101
102 T6018fail.hs:90:15: error:
103     Type family equation violates injectivity annotation.
104     RHS of injective type family equation cannot be a type family:
105       W2 [a] = W2 a -- Defined at T6018fail.hs:90:15
106
107 T6018fail.hs:95:15: error:
108     Type family equations violate injectivity annotation:
109       Z1 (Maybe b) = (b, [b]) -- Defined at T6018fail.hs:95:15
110       Z1 [a] = (a, a) -- Defined at T6018fail.hs:94:15
111
112 T6018fail.hs:99:15: error:
113     Type family equations violate injectivity annotation:
114       G1 (Maybe b) = [(b, b)] -- Defined at T6018fail.hs:99:15
115       G1 [a] = [a] -- Defined at T6018fail.hs:98:15
116
117 T6018fail.hs:103:15: error:
118     Type family equations violate injectivity annotation:
119       G3 a Bool = (Bool, a) -- Defined at T6018fail.hs:103:15
120       G3 a Int = (a, Int) -- Defined at T6018fail.hs:102:15
121
122 T6018fail.hs:106:15: error:
123     Type family equation violates injectivity annotation.
124     Type variable ‘b’ cannot be inferred from the right-hand side.
125     In the type family equation:
126       G4 a b = [a] -- Defined at T6018fail.hs:106:15
127
128 T6018fail.hs:110:15: error:
129     Type family equations violate injectivity annotation:
130       G5 Int = [Bool] -- Defined at T6018fail.hs:110:15
131       G5 [a] = [GF1 a] -- Defined at T6018fail.hs:109:15
132
133 T6018fail.hs:113:15: error:
134     Type family equation violates injectivity annotation.
135     Type variable ‘a’ cannot be inferred from the right-hand side.
136     In the type family equation:
137       G6 [a] = [HF1 a] -- Defined at T6018fail.hs:113:15
138
139 T6018fail.hs:118:15: error:
140     Type family equation violates injectivity annotation.
141     Type and kind variables ‘k’, ‘c’
142     cannot be inferred from the right-hand side.
143     (enabling -fprint-explicit-kinds might help)
144     In the type family equation:
145       forall k a b (c :: k).
146         G7 a b c = [G7a a b c] -- Defined at T6018fail.hs:118:15
147
148 T6018fail.hs:129:1: error:
149     Type family equations violate injectivity annotation:
150       FC Int Bool = Bool -- Defined at T6018fail.hs:129:1
151       FC Int Char = Bool -- Defined at T6018fail.hs:125:10
152
153 T6018fail.hs:134:1: error:
154     Type family equation violates injectivity annotation.
155     RHS of injective type family equation is a bare type variable
156     but these LHS type and kind patterns are not bare variables: ‘*’, ‘Char’
157       FC Char a = a -- Defined at T6018fail.hs:134:1