blob: b12ea509252cc5f31204a0c4dde63d258b12b113 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
GADTwrong1.hs:12:19:
Could not deduce (a1 ~ b)
from the context (() ~ Const a1)
bound by a pattern with constructor
T :: forall a. a -> T (Const a),
in a case alternative
at GADTwrong1.hs:12:12-14
‛a1’ is a rigid type variable bound by
a pattern with constructor
T :: forall a. a -> T (Const a),
in a case alternative
at GADTwrong1.hs:12:12
‛b’ is a rigid type variable bound by
the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
Relevant bindings include
y :: a1 (bound at GADTwrong1.hs:12:14)
coerce :: a -> b (bound at GADTwrong1.hs:11:1)
In the expression: y
In a case alternative: T y -> y
|