From 9236ad28460c78b6dc72dcefb1d5c9fa6d932463 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 25 Jun 2010 23:55:36 -0700
Subject: [PATCH] Further attempts to convince mem_ctrl to be sane.

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

diff --git a/src/boot/me/transutil.ml b/src/boot/me/transutil.ml
index c430e034ca9..7cfe89d7e66 100644
--- a/src/boot/me/transutil.ml
+++ b/src/boot/me/transutil.ml
@@ -127,7 +127,9 @@ let slot_mem_ctrl (slot:Ast.slot) : mem_ctrl =
                 then MEM_gc
                 else MEM_rc_struct
             | Ast.MODE_exterior _ ->
-                MEM_rc_opaque
+                if type_has_state ty
+                then MEM_gc
+                else MEM_rc_opaque
             | _ ->
                 MEM_interior
 ;;