blob: 56e69e2c43a9d43ad8fad3cb54219810b79edc32 (
plain)
1
2
3
4
5
6
7
8
9
|
T3950.hs:15:13:
Couldn't match type ‛Id p0 x0’ with ‛Id p’
Expected type: w (Id p)
Actual type: Sealed (Id p0 x0)
Relevant bindings include
rp :: Bool -> Maybe (w (Id p)) (bound at T3950.hs:15:1)
In the first argument of ‛Just’, namely ‛rp'’
In the expression: Just rp'
|