---

yaml
---
r: 869
b: refs/heads/master
c: dc299c9
h: refs/heads/master
i:
  867: e6dff7c
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1e22a55ff25612753665a76eb3b83628379334a0
+refs/heads/master: dc299c9a19cd8e643258f07a485eaeecb3e900b9

trunk/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);

trunk/src/comp/front/token.rs

@@ -89,9 +89,15 @@ tag token {
     CLAIM;
     PROVE;
 
-    /* Effect keywords */
-    IO;
+    /* Opacity keywords */
+    ABS;
+
+    /* Stratum keywords */
     STATE;
+    GC;
+
+    /* Effect keywords */
+    IMPURE;
     UNSAFE;
 
     /* Type qualifiers */
@@ -249,9 +255,15 @@ fn to_str(token t) -> str {
         case (CLAIM) { ret "claim"; }
         case (PROVE) { ret "prove"; }
 
-        /* Effect keywords */
-        case (IO) { ret "io"; }
+        /* Opacity keywords */
+        case (ABS) { ret "abs"; }
+
+        /* Stratum keywords */
         case (STATE) { ret "state"; }
+        case (GC) { ret "gc"; }
+
+        /* Effect keywords */
+        case (IMPURE) { ret "impure"; }
         case (UNSAFE) { ret "unsafe"; }
 
         /* Type qualifiers */