Fixes overly tolerant char-set? predicate
#5
Merged
tov
merged 2 commits from br-char-set-repetition
into master
5 years ago
Loading…
Reference in New Issue
There is no content yet.
Delete Branch 'br-char-set-repetition'
Deleting a branch is permanent. It CANNOT be undone. Continue?
I noticed this bug in Racket's parser-tools/lex, and after submitting a PR for that, I figured brag might suffer from it as well. Indeed, it does. This PR fixes the bug and includes a couple test cases to demonstrate the change.
Let’s live dangerously! Thanks.
f8c3f37646
.Step 1:
From your project repository, check out a new branch and test the changes.Step 2:
Merge the changes and update on Gitea.