aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/lexer.mll
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-11-02 11:11:58 -0700
committerGraydon Hoare <[email protected]>2010-11-02 11:11:58 -0700
commitda13c508d83032ca13679e1e122e96d25ac23283 (patch)
tree51c3d466dfedf3ad8e21b56c4769325561b3d650 /src/boot/fe/lexer.mll
parentUn-XFAIL self tests on Darwin (diff)
downloadrust-da13c508d83032ca13679e1e122e96d25ac23283.tar.xz
rust-da13c508d83032ca13679e1e122e96d25ac23283.zip
First pass on splitting stratum and opacity off of effects. WIP.
Diffstat (limited to 'src/boot/fe/lexer.mll')
-rw-r--r--src/boot/fe/lexer.mll6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/boot/fe/lexer.mll b/src/boot/fe/lexer.mll
index 151af827..84aeb9ab 100644
--- a/src/boot/fe/lexer.mll
+++ b/src/boot/fe/lexer.mll
@@ -95,8 +95,12 @@
("claim", CLAIM);
("prove", PROVE);
- ("io", IO);
+ ("abs", ABS);
+
("state", STATE);
+ ("gc", GC);
+
+ ("impure", IMPURE);
("unsafe", UNSAFE);
("native", NATIVE);