-
Notifications
You must be signed in to change notification settings - Fork 4
feat: allow arrayAttr parsing in constraint #510
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
feat: allow arrayAttr parsing in constraint #510
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.
LGTM 👍
As @ttjost added the original addElemToArrayAttr builtin, I am interested in what was his reason to restrict it to the rewrite section
mgehre-amd
left a comment
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!
In PDLL the syntax
let array = ["attr1", "attr2"];is only usable in rewrite section, but not in constraint section of a pattern.This PR add the parsing of this syntax also in the constraint section of a pattern.
Also, the empty array
[]was considered as a parsing error, this PR fix this little parsing issue.