blob: d868bcfdc355220e6a5e9392a154274b65259a4e (
plain)
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
|
T13784.hs:29:28: error: [GHC-25897]
• Couldn't match type ‘as’ with ‘a : Divide a as’
Expected: Product (Divide a (a : as))
Actual: Product as1
‘as’ is a rigid type variable bound by
the instance declaration
at T13784.hs:25:10-30
• In the expression: as
In the expression: (a, as)
In an equation for ‘divide’: divide (a :* as) = (a, as)
• Relevant bindings include
divide :: Product (a : as) -> (a, Product (Divide a (a : as)))
(bound at T13784.hs:29:5)
T13784.hs:33:24: error: [GHC-83865]
• Couldn't match type: Product (a : as0)
with: (b, Product (a : Divide b as))
Expected: (b, Product (Divide b (a : as)))
Actual: Product (a1 : as0)
• In the expression: a :* divide as
In an equation for ‘divide’: divide (a :* as) = a :* divide as
In the instance declaration for ‘Divideable b (a : as)’
• Relevant bindings include
divide :: Product (a : as) -> (b, Product (Divide b (a : as)))
(bound at T13784.hs:33:5)
T13784.hs:33:29: error: [GHC-83865]
• Couldn't match type: (a0, Product (Divide a0 as))
with: Product as0
Expected: Product as0
Actual: (a0, Product (Divide a0 as1))
• In the second argument of ‘(:*)’, namely ‘divide as’
In the expression: a :* divide as
In an equation for ‘divide’: divide (a :* as) = a :* divide as
• Relevant bindings include
divide :: Product (a : as) -> (b, Product (Divide b (a : as)))
(bound at T13784.hs:33:5)
|