Re-polish error messages around injective TFs.
[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
5       F Bool Int Char = Int
6
7 <interactive>:16:15: error:
8     Type family equations violate injectivity annotation:
9       I Int Char Bool = Bool
10       I Int Int Int = Bool
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
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
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
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
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
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 '[] = '[]
46
47 <interactive>:60:15: error:
48     Type family equation violates injectivity annotation.
49     Kind variable ‘k1’ cannot be inferred from the right-hand side.
50     (enabling -fprint-explicit-kinds might help)
51     In the type family equation:
52       PolyKindVars '[] = '[]
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 :: BOX) (a :: k) (b :: k). Fc a b = Int
60
61 <interactive>:68:15: error:
62     Type family equation violates injectivity annotation.
63     Type and kind variables ‘k’, ‘a’, ‘b’
64     cannot be inferred from the right-hand side.
65     (enabling -fprint-explicit-kinds might help)
66     In the type family equation:
67     forall (k :: BOX) (a :: k) (b :: k). Gc a b = Int
68
69 <interactive>:81:15: error:
70     Type family equations violate injectivity annotation:
71       F1 [a] = Maybe (GF1 a)
72       F1 (Maybe a) = Maybe (GF2 a)
73
74 <interactive>:85:15: error:
75     Type family equation violates injectivity annotation.
76     RHS of injective type family equation is a bare type variable
77     but these LHS type and kind patterns are not bare variables: ‘[a]’
78       W1 [a] = a
79
80 <interactive>:88:15: error:
81     Type family equation violates injectivity annotation.
82     RHS of injective type family equation cannot be a type family:
83       W2 [a] = W2 a
84
85 <interactive>:92:15: error:
86     Type family equations violate injectivity annotation:
87       Z1 [a] = (a, a)
88       Z1 (Maybe b) = (b, [b])
89
90 <interactive>:96:15: error:
91     Type family equations violate injectivity annotation:
92       G1 [a] = [a]
93       G1 (Maybe b) = [(b, b)]
94
95 <interactive>:100:15: error:
96     Type family equations violate injectivity annotation:
97       G3 a Int = (a, Int)
98       G3 a Bool = (Bool, a)
99
100 <interactive>:104:15: error:
101     Type family equation violates injectivity annotation.
102     Type variable ‘b’ cannot be inferred from the right-hand side.
103     In the type family equation:
104       G4 a b = [a]
105
106 <interactive>:107:15: error:
107     Type family equations violate injectivity annotation:
108       G5 [a] = [GF1 a]
109       G5 Int = [Bool]
110
111 <interactive>:111:15: error:
112     Type family equation violates injectivity annotation.
113     Type variable ‘a’ cannot be inferred from the right-hand side.
114     In the type family equation:
115       G6 [a] = [HF1 a]