diff options
| author | Graydon Hoare <[email protected]> | 2011-04-19 14:00:04 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2011-04-19 14:00:04 -0700 |
| commit | 3d9cf15d0b5c89f3e71d1679b0698f3884e5a5d2 (patch) | |
| tree | bb282c4d0fe1a8b6442156712889f6e427c8f2ab /src/comp/front/token.rs | |
| parent | Remove mention of effect system from manual. (diff) | |
| download | rust-3d9cf15d0b5c89f3e71d1679b0698f3884e5a5d2.tar.xz rust-3d9cf15d0b5c89f3e71d1679b0698f3884e5a5d2.zip | |
Remove half-baked 'opacity' layer qualifier.
Diffstat (limited to 'src/comp/front/token.rs')
| -rw-r--r-- | src/comp/front/token.rs | 6 |
1 files changed, 0 insertions, 6 deletions
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"; } |