blob: f712d47f0e769b8c81b292520b3a2aff1ed43e15 (
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
26
27
28
29
30
31
|
T5439.hs:82:33: error:
• Couldn't match expected type ‘Attempt (HElemOf rs)’
with actual type ‘Attempt (HHead (HDrop n0 l0))
-> Attempt (HElemOf l0)’
• In the second argument of ‘($)’, namely
‘inj $ Failure (e :: SomeException)’
In a stmt of a 'do' block:
c <- complete ev $ inj $ Failure (e :: SomeException)
In the expression:
do c <- complete ev $ inj $ Failure (e :: SomeException)
return $ c || not first
• Relevant bindings include
register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
(bound at T5439.hs:64:9)
ev :: f (Attempt (WaitOpResult (WaitOps rs)))
(bound at T5439.hs:61:22)
ops :: WaitOps rs (bound at T5439.hs:61:18)
registerWaitOp :: WaitOps rs
-> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool
(bound at T5439.hs:61:3)
T5439.hs:82:39: error:
• 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)’
In a stmt of a 'do' block:
c <- complete ev $ inj $ Failure (e :: SomeException)
|
