You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
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)
The text was updated successfully, but these errors were encountered: