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

BUG: Nonterminal definition is not Unicode XID compliant #77

Closed
addisoncrump opened this issue Nov 28, 2024 · 0 comments
Closed

BUG: Nonterminal definition is not Unicode XID compliant #77

addisoncrump opened this issue Nov 28, 2024 · 0 comments
Assignees
@andreas-zeller
Labels
prio: medium Medium priority issue status: awaiting integration Task is addressed in a branch

Comments

@addisoncrump
Copy link
Collaborator

addisoncrump commented Nov 28, 2024 •
edited
Loading

fandango/language/FandangoLexer.g4

Line 21 in ef8c5e3

NONTERMINAL: '<' ID_CONTINUE+ '>';

I think this should be NAME unless I am mistaken.
@joszamama joszamama added scope: bug Something isn't working status: help wanted Task requires extra attention prio: medium Medium priority issue and removed status: help wanted Task requires extra attention labels Dec 8, 2024
@joszamama joszamama changed the title Nonterminal definition is not Unicode XID compliant BUG: Nonterminal definition is not Unicode XID compliant Dec 17, 2024
@joszamama joszamama added the status: future work Task is planned for the future label Jan 14, 2025
@joszamama joszamama moved this to Backlog in Fandango Roadmap Jan 14, 2025
andreas-zeller added a commit that referenced this issue Feb 9, 2025
@andreas-zeller
Addressed #77
49b904a
@andreas-zeller andreas-zeller added status: awaiting integration Task is addressed in a branch and removed scope: bug Something isn't working status: future work Task is planned for the future labels Feb 9, 2025
@andreas-zeller andreas-zeller mentioned this issue Feb 9, 2025
Merged
@github-project-automation github-project-automation bot moved this from Backlog to Done in Fandango Roadmap Feb 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@andreas-zeller andreas-zeller

Labels
prio: medium Medium priority issue status: awaiting integration Task is addressed in a branch
Projects
Fandango Roadmap
Status: Done
Milestone
No milestone
Development

No branches or pull requests
4 participants
@andreas-zeller @addisoncrump @smythi93 @joszamama