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
|
ExplicitForAllFams4b.hs:8: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:8:27: error:
Conflicting family instance declarations:
J [a] = Float -- Defined at ExplicitForAllFams4b.hs:8:27
J _ = Maybe b -- Defined at ExplicitForAllFams4b.hs:9:27
ExplicitForAllFams4b.hs:9: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:12: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:12:27: error:
Conflicting family instance declarations:
K (a, Bool) -- Defined at ExplicitForAllFams4b.hs:12:27
K _ -- Defined at ExplicitForAllFams4b.hs:13:27
ExplicitForAllFams4b.hs:13: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:16: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:16:30: error:
Conflicting family instance declarations:
L (a, Bool) -- Defined at ExplicitForAllFams4b.hs:16:30
L _ -- Defined at ExplicitForAllFams4b.hs:17:30
ExplicitForAllFams4b.hs:17: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:24: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:24: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:25: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:27: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:27: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:28: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’
|