diff options
| -rwxr-xr-x | src/etc/extract_grammar.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/etc/extract_grammar.py b/src/etc/extract_grammar.py index 58d1975c042..61aabf1d881 100755 --- a/src/etc/extract_grammar.py +++ b/src/etc/extract_grammar.py @@ -93,7 +93,11 @@ symnames = { "//": "linecomment", "/*": "openblockcomment", -"*/": "closeblockcomment" +"*/": "closeblockcomment", +"macro_rules": "macro_rules", +"=>" : "eg", +".." : "dotdot", +"," : "comma" } lines = [] |
