Remove half-baked 'opacity' layer qualifier.

4 files changed, 0 insertions, 27 deletions

diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs
index 7ec5e20a..882b70a4 100644
--- a/src/comp/front/ast.rs
+++ b/src/comp/front/ast.rs
@@ -119,11 +119,6 @@ tag mutability {
     maybe_mut;
 }
 
-tag opacity {
-    op_abstract;
-    op_transparent;
-}
-
 tag layer {
     layer_value;
     layer_state;
diff --git a/src/comp/front/lexer.rs b/src/comp/front/lexer.rs
index 3a9eb1ed..3659af1c 100644
--- a/src/comp/front/lexer.rs
+++ b/src/comp/front/lexer.rs
@@ -130,8 +130,6 @@ fn keyword_table() -> std.map.hashmap[str, token.token] {
     keywords.insert("claim", token.CLAIM);
     keywords.insert("prove", token.PROVE);
 
-    keywords.insert("abs", token.ABS);
-
     keywords.insert("state", token.STATE);
     keywords.insert("gc", token.GC);
 
diff --git a/src/comp/front/parser.rs b/src/comp/front/parser.rs
index 3ed74abc..30d0ffbc 100644
--- a/src/comp/front/parser.rs
+++ b/src/comp/front/parser.rs
@@ -1951,7 +1951,6 @@ fn parse_item_native_fn(parser p) -> @ast.native_item {
 }
 
 fn parse_native_item(parser p) -> @ast.native_item {
-    let ast.opacity opa = parse_opacity(p);
     let ast.layer lyr = parse_layer(p);
     alt (p.peek()) {
         case (token.TYPE) {
@@ -2106,18 +2105,6 @@ fn parse_item_tag(parser p) -> @ast.item {
     ret @spanned(lo, hi, item);
 }
 
-fn parse_opacity(parser p) -> ast.opacity {
-    alt (p.peek()) {
-        case (token.ABS) {
-            p.bump();
-            ret ast.op_abstract;
-        }
-        case (_) {
-            ret ast.op_transparent;
-        }
-    }
-    fail;
-}
 
 fn parse_layer(parser p) -> ast.layer {
     alt (p.peek()) {
@@ -2167,7 +2154,6 @@ fn peeking_at_item(parser p) -> bool {
 }
 
 fn parse_item(parser p) -> @ast.item {
-    let ast.opacity opa = parse_opacity(p);
     let ast.layer lyr = parse_layer(p);
 
     alt (p.peek()) {
diff --git a/src/comp/front/token.rs b/src/comp/front/token.rs
index cdc6b503..f367bcc6 100644
--- a/src/comp/front/token.rs
+++ b/src/comp/front/token.rs
@@ -93,9 +93,6 @@ tag token {
     CLAIM;
     PROVE;
 
-    /* Opacity keywords */
-    ABS;
-
     /* Layer keywords */
     STATE;
     GC;
@@ -265,9 +262,6 @@ fn to_str(token t) -> str {
         case (CLAIM) { ret "claim"; }
         case (PROVE) { ret "prove"; }
 
-        /* Opacity keywords */
-        case (ABS) { ret "abs"; }
-
         /* Layer keywords */
         case (STATE) { ret "state"; }
         case (GC) { ret "gc"; }