blob: 2faf4a925bfc3634a1379d6d688ebe3e0cb37643 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
T14618.hs:6:14: error:
• Couldn't match type ‘b’ with ‘forall c. a’
Expected: a -> b
Actual: a -> forall c. a
‘b’ is a rigid type variable bound by
the type signature for:
safeCoerce :: forall a b. a -> b
at T14618.hs:5:1-20
• 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)
|