revert previous delayed await
Some checks failed
github pages / Deploy doc (push) Has been cancelled
Build and Test / build (push) Has been cancelled
Build and Test / build-compat (push) Has been cancelled
Build and Test / format (push) Has been cancelled

This commit is contained in:
Simon Cruanes 2025-05-02 13:04:04 -04:00
parent bb9418d86a
commit 213d9bdd19
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -84,7 +84,7 @@ let with_handler (type st arg) ~(ops : st ops) (self : st) :
(* when triggers is signaled, reschedule task *)
if not (Picos.Fiber.try_suspend fiber trigger fiber k reschedule) then
(* trigger was already signaled, run task now *)
reschedule trigger fiber k)
Picos.Fiber.resume fiber k)
| Picos.Computation.Cancel_after _r ->
Some
(fun k ->