The only thing using the old Waiters module in the core was Switch, but that can be implemented more efficiently with Single_waiter anyway, which the first commit does. The second commit moves Waiters out of core, so that it's not exposed at all to users of Eio (it was previously in Eio.Private). It also moves Hook out of core (Waiters is the only user of it).
This helps with #544 (by simplifying the core) and #382 (by removing another user of Waiters).
The only thing using the old Waiters module in the core was Switch, but that can be implemented more efficiently with Single_waiter anyway, which the first commit does. The second commit moves Waiters out of core, so that it's not exposed at all to users of Eio (it was previously in
Eio.Private). It also movesHookout of core (Waiters is the only user of it).This helps with #544 (by simplifying the core) and #382 (by removing another user of Waiters).