From b0f77088fa9d4afe98254f9c36e4bf707eef2c01 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Mon, 19 Jul 2010 19:12:02 -0700
Subject: Strip off TY_mutables and TY_constraineds when unboxing values during
 autoderef

---
 src/boot/me/type.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/boot')

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 13f25778..ddb9608b 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -55,6 +55,7 @@ let check_stmt (cx:Semant.ctxt) : (fn_ctx -> Ast.stmt -> unit) =
     let rec unbox ty acc =
       match ty with
           Ast.TY_box ty' -> unbox ty' (acc + 1)
+        | Ast.TY_mutable ty' | Ast.TY_constrained (ty', _) -> unbox ty' acc
         | _ -> (ty, acc)
     in
     unbox ty 0
-- 
cgit v1.2.3