From dc299c9a19cd8e643258f07a485eaeecb3e900b9 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 3 Nov 2010 10:29:48 -0700
Subject: Teach rustc lexer about changes to stratum, opacity and effect
 keywords.

---
 src/comp/front/token.rs | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

(limited to 'src/comp/front/token.rs')

diff --git a/src/comp/front/token.rs b/src/comp/front/token.rs
index b9b2fa07..84869aac 100644
--- a/src/comp/front/token.rs
+++ b/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 */
-- 
cgit v1.2.3