Fixes "Check Syntax" arrows for lexers #6

Merged

tov merged 3 commits from br-lexer-arrows into master

tov commented (Migrated from github.com)

The lexer generator already had code to track uses of abbreviations when they disappear, but it was doing it wrong. This PR fixes it.

The lexer generator already had code to track uses of abbreviations when they disappear, but it was doing it wrong. This PR fixes it.

mbutterick commented (Migrated from github.com)

Thanks dude

Thanks dude

👍 1

The pull request has been merged as 87cc90839d.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b br-lexer-arrows master

git pull origin br-lexer-arrows

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff br-lexer-arrows

git push origin master

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.