diff options
Diffstat (limited to 'src/comp/front/lexer.rs')
| -rw-r--r-- | src/comp/front/lexer.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/comp/front/lexer.rs b/src/comp/front/lexer.rs index fbeee8cb..d2f308e3 100644 --- a/src/comp/front/lexer.rs +++ b/src/comp/front/lexer.rs @@ -117,8 +117,12 @@ fn new_reader(stdio_reader rdr, str filename) -> reader keywords.insert("claim", token.CLAIM); keywords.insert("prove", token.PROVE); - keywords.insert("io", token.IO); + keywords.insert("abs", token.ABS); + keywords.insert("state", token.STATE); + keywords.insert("gc", token.GC); + + keywords.insert("impure", token.IMPURE); keywords.insert("unsafe", token.UNSAFE); keywords.insert("native", token.NATIVE); |