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.

Sign up for GitHub

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

Jump to bottom

[asl][reference] added a lexical rule for double underscores #1144

Merged
merged 1 commit into from
Jan 24, 2025
Merged

[asl][reference] added a lexical rule for double underscores #1144

merged 1 commit into from
Jan 24, 2025

Conversation

Roman-Manevich
Copy link
Collaborator

@Roman-Manevich Roman-Manevich commented Jan 24, 2025 •
edited
Loading

  • Added a lexical rule to check against double underscores in identifiers (LexicalRule.ReservedIdentifiers).
  • Added a macro for defining conventions.
  • Changed macro for high-level requirements.

@Roman-Manevich Roman-Manevich force-pushed the asl-lexical-rule-double-underscores branch from acb9fb4 to 5285b3a Compare January 24, 2025 17:53
@Roman-Manevich Roman-Manevich force-pushed the asl-lexical-rule-double-underscores branch from 5285b3a to efa233c Compare January 24, 2025 17:55
@Roman-Manevich Roman-Manevich force-pushed the asl-lexical-rule-double-underscores branch from efa233c to fb19c46 Compare January 24, 2025 17:55
hrutvik
hrutvik approved these changes Jan 24, 2025
View reviewed changes
asllib/doc/ASLmacros.tex Show resolved Hide resolved
@Roman-Manevich Roman-Manevich merged commit 6cf12ec into master Jan 24, 2025
3 checks passed
@Roman-Manevich Roman-Manevich deleted the asl-lexical-rule-double-underscores branch January 24, 2025 18:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hrutvik hrutvik hrutvik approved these changes

@HadrienRenaud HadrienRenaud HadrienRenaud approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Roman-Manevich @hrutvik @HadrienRenaud