From dc299c9a19cd8e643258f07a485eaeecb3e900b9 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Wed, 3 Nov 2010 10:29:48 -0700 Subject: Teach rustc lexer about changes to stratum, opacity and effect keywords. --- src/comp/front/lexer.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'src/comp/front/lexer.rs') 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); -- cgit v1.2.3