Skip to content
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

Add an enumEntry grammar rule #3688

Merged
merged 1 commit into from
Apr 2, 2024
Merged

Conversation

eernstg
Copy link
Member

@eernstg eernstg commented Apr 2, 2024

The feature specification includes examples where an enum value has the form augment <identifier>, but the grammar doesn't allow for the keyword augment in that position. This PR adds the missing grammar rule.

Copy link
Contributor

@jakemac53 jakemac53 left a comment

Choose a reason for hiding this comment

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

LGTM, although we might want to drop this capability entirely. I am a bit torn on which to do.

@eernstg
Copy link
Member Author

eernstg commented Apr 2, 2024

Thanks! I'll land this and add the enumEntry rule for now, for consistency in the feature spec, and then we can remove whatever we want later on, if needed.

@eernstg eernstg merged commit 50bf5c0 into main Apr 2, 2024
3 checks passed
@eernstg eernstg deleted the spec_augmentation_grammar_apr24 branch April 2, 2024 15:45
copybara-service bot pushed a commit to dart-lang/sdk that referenced this pull request Apr 3, 2024
An `enumEntry` needs to allow for the keyword `augment` in order to
enable augmentation libraries. This CL performs a grammar rule update
in Dart.g and Dart.g4, such that this keyword can be included.

The corresponding change to the feature specification was performed in
dart-lang/language#3688.

Change-Id: I6d6a3f09754a76da668dfc84cd20a7df812ecdbd
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/360642
Reviewed-by: William Hesse <whesse@google.com>
Commit-Queue: Erik Ernst <eernst@google.com>
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.

None yet

2 participants