Add GHCi help message for :def! and :: commands
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018fail.stderr
1 [1 of 5] Compiling T6018Afail       ( T6018Afail.hs, T6018Afail.o )
2 [2 of 5] Compiling T6018Bfail       ( T6018Bfail.hs, T6018Bfail.o )
3 [3 of 5] Compiling T6018Cfail       ( T6018Cfail.hs, T6018Cfail.o )
4 [4 of 5] Compiling T6018Dfail       ( T6018Dfail.hs, T6018Dfail.o )
5 [5 of 5] Compiling T6018fail        ( T6018fail.hs, T6018fail.o )
6
7 T6018Afail.hs:9:15: error:
8     Type family equations violate injectivity annotation:
9       G Char Bool Int = Int -- Defined at T6018Afail.hs:9:15
10       G Bool Int Char = Int -- Defined at T6018fail.hs:17:15
11
12 T6018Cfail.hs:8:15: error:
13     Type family equations violate injectivity annotation:
14       T6018Bfail.H Char Bool Int = Int -- Defined at T6018Cfail.hs:8:15
15       T6018Bfail.H Bool Int Char = Int -- Defined at T6018Dfail.hs:7:15
16
17 T6018fail.hs:15:15: error:
18     Type family equations violate injectivity annotation:
19       F Bool Int Char = Int -- Defined at T6018fail.hs:15:15
20       F Char Bool Int = Int -- Defined at T6018fail.hs:14:15
21
22 T6018fail.hs:21:15: error:
23     Type family equations violate injectivity annotation:
24       I Int Int Int = Bool -- Defined at T6018fail.hs:21:15
25       I Int Char Bool = Bool -- Defined at T6018fail.hs:20:15
26
27 T6018fail.hs:30: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:30:15
31
32 T6018fail.hs:38: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:38:15
37
38 T6018fail.hs:39:15: error:
39     Type family equations violate injectivity annotation:
40       P ('S n) m = 'S (P n m) -- Defined at T6018fail.hs:39:15
41       P 'Z m = m -- Defined at T6018fail.hs:38:15
42
43 T6018fail.hs:44: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:44:15
48
49 T6018fail.hs:48: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:48:15
54
55 T6018fail.hs:53: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:53:15
59
60 T6018fail.hs:61:10: error:
61     Type family equation violates injectivity annotation.
62     Kind variable ‘k1’ cannot be inferred from the right-hand side.
63     In the type family equation:
64       PolyKindVarsF @{[k1]} @[k2] ('[] @k1) = '[] @k2
65         -- Defined at T6018fail.hs:61:10
66
67 T6018fail.hs:64:15: error:
68     Type family equation violates injectivity annotation.
69     Kind variable ‘k1’ cannot be inferred from the right-hand side.
70     In the type family equation:
71       PolyKindVars @[k1] @[k2] ('[] @k1) = '[] @k2
72         -- Defined at T6018fail.hs:64:15
73
74 T6018fail.hs:68:15: error:
75     Type family equation violates injectivity annotation.
76     Kind variable ‘k’ cannot be inferred from the right-hand side.
77     In the type family equation:
78       forall k (a :: k) (b :: k).
79         Fc @k a b = Int -- Defined at T6018fail.hs:68:15
80
81 T6018fail.hs:72:15: error:
82     Type family equation violates injectivity annotation.
83     Type and kind variables ‘k’, ‘a’, ‘b’
84     cannot be inferred from the right-hand side.
85     In the type family equation:
86       forall k (a :: k) (b :: k).
87         Gc @k a b = Int -- Defined at T6018fail.hs:72:15
88
89 T6018fail.hs:76:15: error:
90     Type family equations violate injectivity annotation:
91       F1 [a] = Maybe (GF1 a) -- Defined at T6018fail.hs:76:15
92       F1 (Maybe a) = Maybe (GF2 a) -- Defined at T6018fail.hs:77:15
93
94 T6018fail.hs:89:15: error:
95     Type family equation violates injectivity annotation.
96     RHS of injective type family equation is a bare type variable
97     but these LHS type and kind patterns are not bare variables: ‘[a]’
98       W1 [a] = a -- Defined at T6018fail.hs:89:15
99
100 T6018fail.hs:92:15: error:
101     Type family equation violates injectivity annotation.
102     RHS of injective type family equation cannot be a type family:
103       W2 [a] = W2 a -- Defined at T6018fail.hs:92:15
104
105 T6018fail.hs:97:15: error:
106     Type family equations violate injectivity annotation:
107       Z1 (Maybe b) = (b, [b]) -- Defined at T6018fail.hs:97:15
108       Z1 [a] = (a, a) -- Defined at T6018fail.hs:96:15
109
110 T6018fail.hs:101:15: error:
111     Type family equations violate injectivity annotation:
112       G1 (Maybe b) = [(b, b)] -- Defined at T6018fail.hs:101:15
113       G1 [a] = [a] -- Defined at T6018fail.hs:100:15
114
115 T6018fail.hs:105:15: error:
116     Type family equations violate injectivity annotation:
117       G3 a Bool = (Bool, a) -- Defined at T6018fail.hs:105:15
118       G3 a Int = (a, Int) -- Defined at T6018fail.hs:104:15
119
120 T6018fail.hs:108:15: error:
121     Type family equation violates injectivity annotation.
122     Type variable ‘b’ cannot be inferred from the right-hand side.
123     In the type family equation:
124       G4 a b = [a] -- Defined at T6018fail.hs:108:15
125
126 T6018fail.hs:112:15: error:
127     Type family equations violate injectivity annotation:
128       G5 Int = [Bool] -- Defined at T6018fail.hs:112:15
129       G5 [a] = [GF1 a] -- Defined at T6018fail.hs:111:15
130
131 T6018fail.hs:115:15: error:
132     Type family equation violates injectivity annotation.
133     Type variable ‘a’ cannot be inferred from the right-hand side.
134     In the type family equation:
135       G6 [a] = [HF1 a] -- Defined at T6018fail.hs:115:15
136
137 T6018fail.hs:120:15: error:
138     Type family equation violates injectivity annotation.
139     Type and kind variables ‘k’, ‘c’
140     cannot be inferred from the right-hand side.
141     In the type family equation:
142       forall k a b (c :: k).
143         G7 @k a b c = [G7a @k a b c] -- Defined at T6018fail.hs:120:15
144
145 T6018fail.hs:131:1: error:
146     Type family equations violate injectivity annotation:
147       FC Int Bool = Bool -- Defined at T6018fail.hs:131:1
148       FC Int Char = Bool -- Defined at T6018fail.hs:127:10
149
150 T6018fail.hs:136:1: error:
151     Type family equation violates injectivity annotation.
152     RHS of injective type family equation is a bare type variable
153     but these LHS type and kind patterns are not bare variables: ‘*’,
154                                                                  ‘Char’
155       FC Char a = a -- Defined at T6018fail.hs:136:1