blob: d5f031898565a7db0c274840de66859f81b1b5f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
T5439.hs:83:28:
Couldn't match type ‘Attempt (HNth n0 l0) -> Attempt (HElemOf l0)’
with ‘Attempt (WaitOpResult (WaitOps rs))’
Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0))
Actual type: f (Attempt (WaitOpResult (WaitOps rs)))
Relevant bindings include
register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
(bound at T5439.hs:65:9)
ev :: f (Attempt (WaitOpResult (WaitOps rs)))
(bound at T5439.hs:62:22)
ops :: WaitOps rs (bound at T5439.hs:62:18)
registerWaitOp :: WaitOps rs
-> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool
(bound at T5439.hs:62:3)
In the first argument of ‘complete’, namely ‘ev’
In the expression: complete ev
T5439.hs:83:39:
Couldn't match expected type ‘Peano n0’
with actual type ‘Attempt α0’
In the second argument of ‘($)’, namely
‘Failure (e :: SomeException)’
In the second argument of ‘($)’, namely
‘inj $ Failure (e :: SomeException)’
|