-
Notifications
You must be signed in to change notification settings - Fork 68
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
crux_time API improvement #284
base: master
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think I agree with this - allowing the ID to be set was an oversight 🙈
@StuartHarris any opinions?
Yes I agree. Thanks @adwhit ! |
While we're breaking things, refactoring |
wanna do that before we merge it? |
Yep done |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Happy with this, thank you!
/cc @StuartHarris this will be a breaking change to the time capability once more.
This is a suggestion to remove the
id: TimerId
argument from variouscrux_time
APIs. In my opinion it doesn't make sense to provide this value, it should be considered an opaque type useful only insidecrux_time
(so perhaps consider removing the ability to independently createTimerId
s too). YMMV!Obviously this is a breaking change.