blob: 8faa64c25e14cf6630ae96a6e98832e2cbfe33e8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
T14618.hs:6:14: error:
• Couldn't match type ‘a’ with ‘b’
‘a’ is a rigid type variable bound by
the type signature for:
safeCoerce :: forall a b. a -> b
at T14618.hs:5:1-20
‘b’ is a rigid type variable bound by
the type signature for:
safeCoerce :: forall a b. a -> b
at T14618.hs:5:1-20
Expected type: a -> b
Actual type: b -> b
• In the expression: f'
In an equation for ‘safeCoerce’:
safeCoerce
= f'
where
f :: d -> forall c. d
f x = x
f' = f
• Relevant bindings include
safeCoerce :: a -> b (bound at T14618.hs:6:1)
|