diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-05-11 12:38:58 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-05-11 12:38:58 -0700 |
| commit | a93220972f8130732c8cd0267c0b14db77ac19ea (patch) | |
| tree | d1141bfdcded68c8b51d9ed6a735aea5134ab4c8 /grammars/bp.bp | |
| parent | 3359a804c8fe02ea4e9bc1abb7430109affdd535 (diff) | |
Overhaul of |-word boundaries (| is deprecated), performance
improvements for repeating matches, tweaks to the logic of word vs. id
Diffstat (limited to 'grammars/bp.bp')
| -rw-r--r-- | grammars/bp.bp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammars/bp.bp b/grammars/bp.bp index 5e4dcc8..ed7eb80 100644 --- a/grammars/bp.bp +++ b/grammars/bp.bp @@ -78,6 +78,6 @@ extended-pat: Otherwise / Replace / Chain / pat _: *(` / \t) __: *(` / \t / \r / \n / comment) -id: "__" / "_" / "|" / `a-z,A-Z *`a-z,A-Z,0-9,- +id: "__" / "_" / `a-z,A-Z *`a-z,A-Z,0-9,- comment: `# .. $ |