Add kind equalities to GHC.
[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     Type family equation violates injectivity annotation.
42     Kind variable ‘k’ cannot be inferred from the right-hand side.
43     (enabling -fprint-explicit-kinds might help)
44     In the type family equation:
45       PolyKindVarsF '[] = '[] -- Defined at <interactive>:55:41
46
47 <interactive>:60:15: error:
48     Type family equation violates injectivity annotation.
49     Kind variable ‘k’ cannot be inferred from the right-hand side.
50     (enabling -fprint-explicit-kinds might help)
51     In the type family equation:
52       PolyKindVars '[] = '[] -- Defined at <interactive>:60:15
53
54 <interactive>:64:15: error:
55     Type family equation violates injectivity annotation.
56     Kind variable ‘k’ cannot be inferred from the right-hand side.
57     (enabling -fprint-explicit-kinds might help)
58     In the type family equation:
59       forall k (a :: k) (b :: k).
60         Fc a b = Int -- Defined at <interactive>:64:15
61
62 <interactive>:68:15: error:
63     Type family equation violates injectivity annotation.
64     Type and kind variables ‘k’, ‘a’, ‘b’
65     cannot be inferred from the right-hand side.
66     (enabling -fprint-explicit-kinds might help)
67     In the type family equation:
68       forall k (a :: k) (b :: k).
69         Gc a b = Int -- Defined at <interactive>:68:15
70
71 <interactive>:81:15: error:
72     Type family equations violate injectivity annotation:
73       F1 [a] = Maybe (GF1 a) -- Defined at <interactive>:81:15
74       F1 (Maybe a) = Maybe (GF2 a) -- Defined at <interactive>:82:15
75
76 <interactive>:85:15: error:
77     Type family equation violates injectivity annotation.
78     RHS of injective type family equation is a bare type variable
79     but these LHS type and kind patterns are not bare variables: ‘[a]’
80       W1 [a] = a -- Defined at <interactive>:85:15
81
82 <interactive>:88:15: error:
83     Type family equation violates injectivity annotation.
84     RHS of injective type family equation cannot be a type family:
85       W2 [a] = W2 a -- Defined at <interactive>:88:15
86
87 <interactive>:92:15: error:
88     Type family equations violate injectivity annotation:
89       Z1 [a] = (a, a) -- Defined at <interactive>:92:15
90       Z1 (Maybe b) = (b, [b]) -- Defined at <interactive>:93:15
91
92 <interactive>:96:15: error:
93     Type family equations violate injectivity annotation:
94       G1 [a] = [a] -- Defined at <interactive>:96:15
95       G1 (Maybe b) = [(b, b)] -- Defined at <interactive>:97:15
96
97 <interactive>:100:15: error:
98     Type family equations violate injectivity annotation:
99       G3 a Int = (a, Int) -- Defined at <interactive>:100:15
100       G3 a Bool = (Bool, a) -- Defined at <interactive>:101:15
101
102 <interactive>:104:15: error:
103     Type family equation violates injectivity annotation.
104     Type variable ‘b’ cannot be inferred from the right-hand side.
105     In the type family equation:
106       G4 a b = [a] -- Defined at <interactive>:104:15
107
108 <interactive>:107:15: error:
109     Type family equations violate injectivity annotation:
110       G5 [a] = [GF1 a] -- Defined at <interactive>:107:15
111       G5 Int = [Bool] -- Defined at <interactive>:108:15
112
113 <interactive>:111:15: error:
114     Type family equation violates injectivity annotation.
115     Type variable ‘a’ cannot be inferred from the right-hand side.
116     In the type family equation:
117       G6 [a] = [HF1 a] -- Defined at <interactive>:111:15