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