1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
ExplicitForAllFams4b.hs:7:24: error:
• Type variable ‘b’ is bound by a forall,
but not used in the family instance
• In the type instance declaration for ‘J’
ExplicitForAllFams4b.hs:7:27: error:
Conflicting family instance declarations:
J [a] = Float -- Defined at ExplicitForAllFams4b.hs:7:27
J _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:8:27
ExplicitForAllFams4b.hs:8:22: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the type instance declaration for ‘J’
ExplicitForAllFams4b.hs:11:24: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the data instance declaration for ‘K’
ExplicitForAllFams4b.hs:11:27: error:
Conflicting family instance declarations:
K (a, Bool) -- Defined at ExplicitForAllFams4b.hs:11:27
K _ -- Defined at ExplicitForAllFams4b.hs:12:27
ExplicitForAllFams4b.hs:12:22: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the data instance declaration for ‘K’
ExplicitForAllFams4b.hs:15:27: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the newtype instance declaration for ‘L’
ExplicitForAllFams4b.hs:15:30: error:
Conflicting family instance declarations:
L (a, Bool) -- Defined at ExplicitForAllFams4b.hs:15:30
L _ -- Defined at ExplicitForAllFams4b.hs:16:30
ExplicitForAllFams4b.hs:16:25: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the newtype instance declaration for ‘L’
ExplicitForAllFams4b.hs:23:3: error:
• Type indexes must match class instance head
Expected: CT Int _
Actual: CT [a] (a, a)
• In the type instance declaration for ‘CT’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:23:17: error:
• Type variable ‘b’ is bound by a forall,
but not used in the family instance
• In the type instance declaration for ‘CT’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:23:20: error:
Conflicting family instance declarations:
CT [a] (a, a) = Float -- Defined at ExplicitForAllFams4b.hs:23:20
CT _ _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:24:20
ExplicitForAllFams4b.hs:24:3: error:
• Type indexes must match class instance head
Expected: CT Int _
Actual: CT _ _
• In the type instance declaration for ‘CT’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:24:15: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the type instance declaration for ‘CT’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:26:3: error:
• Type indexes must match class instance head
Expected: CD Int _
Actual: CD [a] (a, a)
• In the data instance declaration for ‘CD’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:26:17: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the data instance declaration for ‘CD’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:26:20: error:
Conflicting family instance declarations:
CD [a] (a, a) -- Defined at ExplicitForAllFams4b.hs:26:20
CD _ _ -- Defined at ExplicitForAllFams4b.hs:27:20
ExplicitForAllFams4b.hs:27:3: error:
• Type indexes must match class instance head
Expected: CD Int _
Actual: CD _ _
• In the data instance declaration for ‘CD’
In the instance declaration for ‘C Int’
ExplicitForAllFams4b.hs:27:15: error:
• Type variable ‘b’ is mentioned in the RHS,
but not bound on the LHS of the family instance
• In the data instance declaration for ‘CD’
In the instance declaration for ‘C Int’
|