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/ast.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/ast.ml')
| -rw-r--r-- | src/boot/fe/ast.ml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/boot/fe/ast.ml b/src/boot/fe/ast.ml index c2387c5a..26c3b7c1 100644 --- a/src/boot/fe/ast.ml +++ b/src/boot/fe/ast.ml @@ -37,11 +37,6 @@ type layer = | LAYER_gc ;; -type opacity = - OPA_transparent - | OPA_abstract -;; - type mutability = MUT_mutable | MUT_immutable @@ -720,22 +715,6 @@ and fmt_layer_qual fmt_layer ff s; if s <> LAYER_value then fmt ff " "; -and fmt_opacity - (ff:Format.formatter) - (opa:opacity) - : unit = - match opa with - OPA_transparent -> () - | OPA_abstract -> fmt ff "abs" - -and fmt_opacity_qual - (ff:Format.formatter) - (op:opacity) - : unit = - fmt_opacity ff op; - if op <> OPA_transparent then fmt ff " "; - - and fmt_ty_fn (ff:Format.formatter) (ident_and_params:(ident * ty_param array) option) |