From c27879a1aac0d623c857697cf7deccc8e9c39e78 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 1 Jul 2010 18:39:08 -0700
Subject: Of course, the LHS constraint on an init-box statement is mutable @.

---
 src/boot/me/type.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/boot')

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 2ec35f75..c0251d4a 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1279,8 +1279,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
             unify_lval rval_ctx lval (ty Ast.TY_task);
 
         | Ast.STMT_init_box (dst, v) ->
-            let tv = any() in
-              unify_lval init_ctx dst (ref (TYSPEC_box tv));
+            let tv = ref (TYSPEC_mutable (ref (TYSPEC_box (any())))) in
+              unify_lval strict_ctx dst tv;
               unify_atom rval_ctx v tv;
 
         (* FIXME (issue #52): Finish these. *)
-- 
cgit v1.2.3