-
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
Simplify quoted identifier in text annotations #3593
Conversation
…r in the source. I believe this is as clear and it preserves the two important parts of the previous change: embedded space (required quoted identifier) and embedded } (more complicated quoting). It does not include a hierarchical name as that it is now explained separately. Should thus be merged after modelica#3592 Not needed, but I think it avoids issue.
An alternative to |
I have now used that. It will still have to merged with #3592, but together I think they make more sense. |
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.
It would probably be good to keep the emphasis on the closing brace inside a quoted identifier.
Co-authored-by: Henrik Tidefelt <[email protected]>
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.
Looks good.
I was confused by the previous text and almost thought it was an error.
Currently it says "( e.g.,
rec.'}'.'quoted ident'
)" and the proposed change is "( e.g.,'a}x'
or'quoted ident'
)"I believe the rewrite is as clear and it preserves the two important parts of the previous change:
}
(cannot simplify string parsing due to this).It does not include a hierarchical name as that it is now explained separately. Should thus be merged after #3592
Not needed, but I think it avoids my confusion and is clearer