[1 of 5] Compiling T6018Bfail ( T6018Bfail.hs, T6018Bfail.o )
[2 of 5] Compiling T6018Cfail ( T6018Cfail.hs, T6018Cfail.o )
[3 of 5] Compiling T6018Dfail ( T6018Dfail.hs, T6018Dfail.o )
[4 of 5] Compiling T6018Afail ( T6018Afail.hs, T6018Afail.o )
[5 of 5] Compiling T6018fail ( T6018fail.hs, T6018fail.o )
T6018Afail.hs:7:15: error:
Type family equations violate injectivity annotation:
G Char Bool Int = Int -- Defined at T6018Afail.hs:7:15
G Bool Int Char = Int -- Defined at T6018fail.hs:15:15
T6018Dfail.hs:7:15: error:
Type family equations violate injectivity annotation:
T6018Bfail.H Bool Int Char = Int -- Defined at T6018Dfail.hs:7:15
T6018Bfail.H Char Bool Int = Int -- Defined at T6018Cfail.hs:8:15
T6018fail.hs:13:15: error:
Type family equations violate injectivity annotation:
F Bool Int Char = Int -- Defined at T6018fail.hs:13:15
F Char Bool Int = Int -- Defined at T6018fail.hs:12:15
T6018fail.hs:19:15: error:
Type family equations violate injectivity annotation:
I Int Int Int = Bool -- Defined at T6018fail.hs:19:15
I Int Char Bool = Bool -- Defined at T6018fail.hs:18:15
T6018fail.hs:28:15: error:
Type family equation violates injectivity annotation.
RHS of injective type family equation cannot be a type family:
IdProxy a = Id a -- Defined at T6018fail.hs:28:15
T6018fail.hs:36:15: error:
Type family equation violates 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:36:15
T6018fail.hs:37:15: error:
Type family equations violate injectivity annotation:
P ('S n) m = 'S (P n m) -- Defined at T6018fail.hs:37:15
P 'Z m = m -- Defined at T6018fail.hs:36:15
T6018fail.hs:42:15: error:
Type family equation violates 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:42:15
T6018fail.hs:46:15: error:
Type family equation violates 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:46:15
T6018fail.hs:51:15: error:
Type family equation violates injectivity annotation.
RHS of injective type family equation cannot be a type family:
L a = MaybeSyn a -- Defined at T6018fail.hs:51:15
T6018fail.hs:59:10: error:
• Polymorphic type indexes of associated type ‘PolyKindVarsF’
(i.e. ones independent of the class type variables)
must be distinct type variables
Expected: PolyKindVarsF '[]
Actual: PolyKindVarsF '[]
Use -fprint-explicit-kinds to see the kind arguments
• In the type instance declaration for ‘PolyKindVarsF’
In the instance declaration for ‘PolyKindVarsC '[]’
T6018fail.hs:62:15: error:
Type family equation violates injectivity annotation.
Kind variable ‘k1’ cannot be inferred from the right-hand side.
Use -fprint-explicit-kinds to see the kind arguments
In the type family equation:
PolyKindVars '[] = '[] -- Defined at T6018fail.hs:62:15
T6018fail.hs:66:15: error:
Type family equation violates injectivity annotation.
Kind variable ‘k’ cannot be inferred from the right-hand side.
Use -fprint-explicit-kinds to see the kind arguments
In the type family equation:
forall k (b :: k) (a :: k).
Fc a b = Int -- Defined at T6018fail.hs:66:15
T6018fail.hs:70:15: error:
Type family equation violates injectivity annotation.
Type and kind variables ‘k’, ‘a’, ‘b’
cannot be inferred from the right-hand side.
Use -fprint-explicit-kinds to see the kind arguments
In the type family equation:
forall k (b :: k) (a :: k).
Gc a b = Int -- Defined at T6018fail.hs:70:15
T6018fail.hs:74:15: error:
Type family equations violate injectivity annotation:
F1 [a] = Maybe (GF1 a) -- Defined at T6018fail.hs:74:15
F1 (Maybe a) = Maybe (GF2 a) -- Defined at T6018fail.hs:75:15
T6018fail.hs:87:15: error:
Type family equation violates 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:87:15
T6018fail.hs:90:15: error:
Type family equation violates injectivity annotation.
RHS of injective type family equation cannot be a type family:
W2 [a] = W2 a -- Defined at T6018fail.hs:90:15
T6018fail.hs:95:15: error:
Type family equations violate injectivity annotation:
Z1 (Maybe b) = (b, [b]) -- Defined at T6018fail.hs:95:15
Z1 [a] = (a, a) -- Defined at T6018fail.hs:94:15
T6018fail.hs:99:15: error:
Type family equations violate injectivity annotation:
G1 (Maybe b) = [(b, b)] -- Defined at T6018fail.hs:99:15
G1 [a] = [a] -- Defined at T6018fail.hs:98:15
T6018fail.hs:103:15: error:
Type family equations violate injectivity annotation:
G3 a Bool = (Bool, a) -- Defined at T6018fail.hs:103:15
G3 a Int = (a, Int) -- Defined at T6018fail.hs:102:15
T6018fail.hs:106:15: error:
Type family equation violates 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:106:15
T6018fail.hs:110:15: error:
Type family equations violate injectivity annotation:
G5 Int = [Bool] -- Defined at T6018fail.hs:110:15
G5 [a] = [GF1 a] -- Defined at T6018fail.hs:109:15
T6018fail.hs:113:15: error:
Type family equation violates 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:113:15
T6018fail.hs:118:15: error:
Type family equation violates injectivity annotation.
Type and kind variables ‘k’, ‘c’
cannot be inferred from the right-hand side.
Use -fprint-explicit-kinds to see the kind arguments
In the type family equation:
forall k (c :: k) b a.
G7 a b c = [G7a a b c] -- Defined at T6018fail.hs:118:15
T6018fail.hs:129:1: error:
Type family equations violate injectivity annotation:
FC Int Bool = Bool -- Defined at T6018fail.hs:129:1
FC Int Char = Bool -- Defined at T6018fail.hs:125:10
T6018fail.hs:134:1: error:
Type family equation violates 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:134:1