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