Re-polish error messages around injective TFs.
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018failclosed.stderr
1
2 T6018failclosed.hs:11:5: error:
3     Type family equation violates injectivity annotation.
4     RHS of injective type family equation cannot be a type family:
5       IdProxyClosed a = IdClosed a
6     In the equations for closed type family ‘IdProxyClosed’
7     In the type family declaration for ‘IdProxyClosed’
8
9 T6018failclosed.hs:19:5: error:
10     Type family equation violates injectivity annotation.
11     RHS of injective type family equation is a bare type variable
12     but these LHS type and kind patterns are not bare variables: ‘'Z’
13       PClosed 'Z m = m
14     In the equations for closed type family ‘PClosed’
15     In the type family declaration for ‘PClosed’
16
17 T6018failclosed.hs:19:5: error:
18     Type family equations violate injectivity annotation:
19       PClosed 'Z m = m
20       PClosed ('S n) m = 'S (PClosed n m)
21     In the equations for closed type family ‘PClosed’
22     In the type family declaration for ‘PClosed’
23
24 T6018failclosed.hs:25:5: error:
25     Type family equation violates injectivity annotation.
26     Type and kind variables ‘k’, ‘b’
27     cannot be inferred from the right-hand side.
28     (enabling -fprint-explicit-kinds might help)
29     In the type family equation:
30     forall (k :: BOX) (k1 :: BOX) (b :: k) (c :: k1).
31       JClosed Int b c = Char
32     In the equations for closed type family ‘JClosed’
33     In the type family declaration for ‘JClosed’
34
35 T6018failclosed.hs:30:5: error:
36     Type family equation violates injectivity annotation.
37     Type variable ‘n’ cannot be inferred from the right-hand side.
38     In the type family equation:
39       KClosed ('S n) m = 'S m
40     In the equations for closed type family ‘KClosed’
41     In the type family declaration for ‘KClosed’
42
43 T6018failclosed.hs:35:5: error:
44     Type family equation violates injectivity annotation.
45     RHS of injective type family equation cannot be a type family:
46     forall (k :: BOX) (a :: k). LClosed a = MaybeSynClosed a
47     In the equations for closed type family ‘LClosed’
48     In the type family declaration for ‘LClosed’
49
50 T6018failclosed.hs:39:5: error:
51     Type family equations violate injectivity annotation:
52       FClosed Char Bool Int = Int
53       FClosed Bool Int Char = Int
54     In the equations for closed type family ‘FClosed’
55     In the type family declaration for ‘FClosed’
56
57 T6018failclosed.hs:43:5: error:
58     Type family equations violate injectivity annotation:
59       IClosed Int Char Bool = Bool
60       IClosed Int Int Int = Bool
61     In the equations for closed type family ‘IClosed’
62     In the type family declaration for ‘IClosed’
63
64 T6018failclosed.hs:50:3: error:
65     Type family equation violates injectivity annotation.
66     Type variable ‘a’ cannot be inferred from the right-hand side.
67     In the type family equation:
68       E2 a = 'False
69     In the equations for closed type family ‘E2’
70     In the type family declaration for ‘E2’
71
72 T6018failclosed.hs:61:3: error:
73     Type family equations violate injectivity annotation:
74       F a IO = IO a
75       F Char b = b Int
76     In the equations for closed type family ‘F’
77     In the type family declaration for ‘F’
78
79 T6018failclosed.hs:66:5: error:
80     Type family equation violates injectivity annotation.
81     Kind variable ‘k’ cannot be inferred from the right-hand side.
82     (enabling -fprint-explicit-kinds might help)
83     In the type family equation:
84     forall (k :: BOX) (a :: k) (b :: k). Gc a b = Int
85     In the equations for closed type family ‘Gc’
86     In the type family declaration for ‘Gc’