blob: 961466bec0df77825da8949024a25481cf34bc69 (
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
|
T15361.hs:13:13: error: [GHC-25897]
• Could not deduce ‘a ~ c’
from the context: b ~ a
bound by a pattern with constructor:
HRefl :: forall {k1} (a :: k1). a :~~: a,
in an equation for ‘foo’
at T15361.hs:13:5-9
Expected: a :~~: c
Actual: a :~~: a
‘a’ is a rigid type variable bound by
the type signature for:
foo :: forall a b c. (a :~~: b) -> a :~~: c
at T15361.hs:(11,1)-(12,27)
‘c’ is a rigid type variable bound by
the type signature for:
foo :: forall a b c. (a :~~: b) -> a :~~: c
at T15361.hs:(11,1)-(12,27)
• In the expression: HRefl
In an equation for ‘foo’: foo HRefl = HRefl
• Relevant bindings include
foo :: (a :~~: b) -> a :~~: c (bound at T15361.hs:13:1)
T15361.hs:20:27: error: [GHC-39999]
• Could not deduce ‘Show a’ arising from a use of ‘show’
from the context: Ord a
bound by a pattern with constructor:
IGetKnockedDown :: forall a. (Eq a, Ord a) => a -> Chumbawamba a,
in an equation for ‘goo’
at T15361.hs:20:6-22
Possible fix:
add (Show a) to the context of
the type signature for:
goo :: forall a. Chumbawamba a -> String
• In the expression: show x
In an equation for ‘goo’: goo (IGetKnockedDown x) = show x
|