Change `Control.block ()` to raise `Sys_error` when forced to return

ocaml-multicore / picos

Interoperable effects based concurrency

https://ocaml-multicore.github.io/picos/doc/picos/index.html

ISC License

86 stars 3 forks source link

Change `Control.block ()` to raise `Sys_error` when forced to return #188

Closed polytypic closed 2 months ago

polytypic commented 3 months ago

It is technically possible to finish the computation of a fiber from outside of the fiber when using the low level Picos interface so it is not strictly impossible for the Trigger.await inside Control.block () to return None.