-
Notifications
You must be signed in to change notification settings - Fork 40
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
Start clearing up annotation syntax for functions. #3617
base: master
Are you sure you want to change the base?
Conversation
I updated the description to make it a link to the issue #3495 for an easy lookup. |
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.
Suggesting minor change that will make this more compatible with #3621.
Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>
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'm afraid defaults should be presented in the text rather than as a default binding.
Language group: Describe these in text (not as default), and then later revisit all. |
Also provide smarter default for LateInline.
This has now been implemented. @henrikt-ma |
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.
Basically good, but there was at least one need for improved language.
The default for late inlining is tool-specific. | ||
In particular, tools may automatically delay inlining in order to take advantage of function annotations for derivatives and inverses. | ||
|
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 this would fit even better before the three rules about identical meaning of annotation combinations.
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.
Only a trivial reordering of paragraphs remaining.
It is intended to work towards close #3495 - but it doesn't handle all of the annotations as some are problematic.
Note that I deliberately added default values in some cases, I believe they are the correct ones.
It might be that we should add more, or view this as enough to close it - and later think about the rest.
The problem with the other ones are:
smoothOrder(normallyConstant=x)=2
(I have might have missed some that could be handled.)