diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-05-22 13:25:14 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-05-22 13:25:14 -0700 |
| commit | c87a3add5b185d2af50eb27a15344d096c7c20e5 (patch) | |
| tree | dcea7dc3ec361b17b83ee3c38b65eb980b3a18ff | |
| parent | 9c8baf44343fc63478e430dbfa0f3bd744b05242 (diff) | |
Fix for keyword check
| -rw-r--r-- | grammars/utf8-id.bp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammars/utf8-id.bp b/grammars/utf8-id.bp index 14536db..fecfba1 100644 --- a/grammars/utf8-id.bp +++ b/grammars/utf8-id.bp @@ -1,5 +1,5 @@ # Definitions of UTF8-compliant identifiers -id: left-word-edge (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 |
