Skip to content

Parser: remove redundant rule for strings in attributes & other fixes - #1376

Merged
eponier merged 3 commits into
mainfrom
string-conflict
Feb 5, 2026
Merged

Parser: remove redundant rule for strings in attributes & other fixes#1376
eponier merged 3 commits into
mainfrom
string-conflict

Conversation

@vbgl

@vbgl vbgl commented Feb 4, 2026

Copy link
Copy Markdown
Member

Small fix after #1375.

There is an other parsing issue with arrays in attributes.

@vbgl vbgl changed the title Parser: remove redundant rule for strings in attributes Parser: remove redundant rule for strings in attributes & other fixes Feb 4, 2026

@eponier eponier left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Alternative solutions do not seem really better.

  • Changing the syntax of array literals: a lot of code using them + using the syntax of Rust ([1, 2, 3]) would conflict with memory accesses.
  • Changing the syntax of structured annotations: it would be possible, but natural separators (( and [) would certainly create conflicts too.

If, in the future, we realize that we need arrays in annotations, we can reintroduce them (e.g. by requiring mandatory parentheses around array literals or something similar).

@eponier
eponier merged commit 7fd40cf into main Feb 5, 2026
1 check passed
@eponier
eponier deleted the string-conflict branch February 5, 2026 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants