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
Add overloads of the schedule(), schedule_after() algorithms that don't take a scheduler and that use whatever the current scheduler from the receiver is (ie. using get_scheduler() - see #20).
This would simplify writing some kinds of code, like a timeout() algorithm.
Add overloads of the
schedule()
,schedule_after()
algorithms that don't take a scheduler and that use whatever the current scheduler from the receiver is (ie. usingget_scheduler()
- see #20).This would simplify writing some kinds of code, like a
timeout()
algorithm.Whereas currently we'd need to do something like:
Q. Should
schedule()
be namedreschedule()
?The text was updated successfully, but these errors were encountered: