blob: c49049b400064eb0fdc0b6d38b39c6509af2395f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
GADTwrong1.hs:12:21:
Couldn't match expected type ‘b’ with actual type ‘c’
‘c’ is a rigid type variable bound by
a pattern with constructor
T :: forall c. c -> T (Const c),
in a case alternative
at GADTwrong1.hs:12:14
‘b’ is a rigid type variable bound by
the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
Relevant bindings include
y :: c (bound at GADTwrong1.hs:12:16)
coerce :: a -> b (bound at GADTwrong1.hs:11:1)
In the expression: y
In a case alternative: T y -> y
|