blob: 02e9aa511d7512fb09b55bd2496f2b6cb489d9db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
T10534a.hs:10:9: error: [GHC-10283]
• Could not deduce ‘Coercible a b’ arising from a use of ‘coerce’
from the context: Coercible (DF a) (DF b)
bound by the type signature for:
silly :: forall a b. Coercible (DF a) (DF b) => a -> b
at T10534a.hs:9:1-42
‘a’ is a rigid type variable bound by
the type signature for:
silly :: forall a b. Coercible (DF a) (DF b) => a -> b
at T10534a.hs:9:1-42
‘b’ is a rigid type variable bound by
the type signature for:
silly :: forall a b. Coercible (DF a) (DF b) => a -> b
at T10534a.hs:9:1-42
• In the expression: coerce
In an equation for ‘silly’: silly = coerce
• Relevant bindings include
silly :: a -> b (bound at T10534a.hs:10:1)
|