effects-examples icon indicating copy to clipboard operation
effects-examples copied to clipboard

`Yield` effect unused in `aio`

Open Sudha247 opened this issue 2 years ago • 1 comments

https://github.com/ocaml-multicore/effects-examples/blob/master/aio/aio.ml#L16 defines Yield here, but it's not used anywhere in the rest of the scheduler. Was it supposed to be used somewhere or could we remove it?

(pointed out by @Leonidas-from-XIV)

Sudha247 avatar Sep 19 '22 21:09 Sudha247

I suppose it is unused in this example (the echo server), and as such it could probably go. In general it can be quite useful as a primitive to force preemption rather than having to perform an IO operation.

dhil avatar Sep 20 '22 10:09 dhil

Fixed by #38.

Sudha247 avatar Oct 25 '23 08:10 Sudha247