From 3d9cf15d0b5c89f3e71d1679b0698f3884e5a5d2 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 19 Apr 2011 14:00:04 -0700
Subject: Remove half-baked 'opacity' layer qualifier.

---
 src/boot/fe/ast.ml | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'src/boot/fe/ast.ml')

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)
-- 
cgit v1.2.3