diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-05-11 19:06:41 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-05-11 19:06:41 -0700 |
| commit | 1a1b3ecfee276795e4c9b2981207e2aba289976c (patch) | |
| tree | 2372516bc5c6e86b2ee7af4e99c6f0e4a12608d2 /grammars | |
| parent | a93220972f8130732c8cd0267c0b14db77ac19ea (diff) | |
Renamed boundary->edge
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/builtins.bp | 12 | ||||
| -rw-r--r-- | grammars/utf8-id.bp | 2 |
2 files changed, 7 insertions, 7 deletions
diff --git a/grammars/builtins.bp b/grammars/builtins.bp index 526498e..8119573 100644 --- a/grammars/builtins.bp +++ b/grammars/builtins.bp @@ -16,18 +16,18 @@ brackets: `[ ..%(\n/brackets/string) `] braces: `{ ..%(\n/braces/string) `} parens: `( ..%(\n/parens/string) `) string: `" ..%(`\.) `" / `' ..%(`\.) `' -left-id-boundary: ^ / <(\x00-x7f!=id-char) / <((\xc0-xdf \x80-xbf)!=id-char) +left-id-edge: ^ / <(\x00-x7f!=id-char) / <((\xc0-xdf \x80-xbf)!=id-char) / <((\xe0-xef 2\x80-xbf)!=id-char) / <((\xf0-xf7 3\x80-xbf)!=id-char) -right-id-boundary: !id-char -id: left-id-boundary !`0-9 (+id-char)!=keyword +right-id-edge: !id-char +id: left-id-edge !`0-9 (+id-char)!=keyword id-char: `a-z,A-Z,_,0-9 var: id keyword: !"" # No keywords defined by default -left-word-boundary: ^ / <(\x00-x7f!=word-char) / <((\xc0-xdf \x80-xbf)!=word-char) +left-word-edge: ^ / <(\x00-x7f!=word-char) / <((\xc0-xdf \x80-xbf)!=word-char) / <((\xe0-xef 2\x80-xbf)!=word-char) / <((\xf0-xf7 3\x80-xbf)!=word-char) -right-word-boundary: !word-char +right-word-edge: !word-char word-char: `a-z,A-Z,_,0-9,-,' -word: left-word-boundary +word-char +word: left-word-edge +word-char HEX: `0-9,A-F Hex: `0-9,a-f,A-F hex: `0-9,a-f diff --git a/grammars/utf8-id.bp b/grammars/utf8-id.bp index b8ba2d3..14536db 100644 --- a/grammars/utf8-id.bp +++ b/grammars/utf8-id.bp @@ -1,5 +1,5 @@ # Definitions of UTF8-compliant identifiers -id: left-word-boundary (utf8-id-start *utf8-id-cont)!=keyword +id: left-word-edge (utf8-id-start *utf8-id-cont)!=keyword id-char: utf8-id-cont / utf8-id-start word-char: utf8-id-cont / utf8-id-start |