From 2122b59ea2c5fa83fb7b3be7365c8e661b18f28e Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 1 Jul 2010 13:20:57 -0700
Subject: Some work on teaching trans to differentiate between auto-deref and
 explicit-deref contexts.

---
 src/boot/me/transutil.ml | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/boot/me/transutil.ml')

diff --git a/src/boot/me/transutil.ml b/src/boot/me/transutil.ml
index 9daccd40..0ec49c8e 100644
--- a/src/boot/me/transutil.ml
+++ b/src/boot/me/transutil.ml
@@ -57,6 +57,12 @@ open Semant;;
  *)
 
 
+type deref_ctrl =
+    DEREF_one_box
+  | DEREF_all_boxes
+  | DEREF_none
+;;
+
 type mem_ctrl =
     MEM_rc_opaque
   | MEM_rc_struct
-- 
cgit v1.2.3