Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

1729/1737 Fix grammar for "declare record" #1767

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

michaelhkay
Copy link
Contributor

Fix #1729

  • The syntax should be "declare record", not "declare type record".
  • All the declarations using annotations should allow multiple annotations.
  • Added a note about refactoring the grammar to avoid unbounded lookahead.

@ChristianGruen ChristianGruen added the Propose Merge without Discussion Change is editorial or minor label Feb 5, 2025
@michaelhkay
Copy link
Contributor Author

Extended the PR to also fix #1737

Fix #1737

@michaelhkay michaelhkay changed the title 1729 Fix grammar for "declare record" 1729/1737 Fix grammar for "declare record" Feb 5, 2025
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Propose Merge without Discussion Change is editorial or minor
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Grammar problems introduced by #1721
2 participants