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/boot/fe/pexp.ml | |
| 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/boot/fe/pexp.ml')
| -rw-r--r-- | src/boot/fe/pexp.ml | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 5310f6df..ed36926d 100644 --- a/src/boot/fe/pexp.ml +++ b/src/boot/fe/pexp.ml @@ -140,11 +140,6 @@ and parse_optional_trailing_constrs (ps:pstate) : Ast.constrs = COLON -> (bump ps; parse_constrs ps) | _ -> [| |] -and parse_opacity (ps:pstate) : Ast.opacity = - match peek ps with - ABS -> bump ps; Ast.OPA_abstract - | _ -> Ast.OPA_transparent - and parse_layer (ps:pstate) : Ast.layer = match peek ps with STATE -> bump ps; Ast.LAYER_state |