From 3e08171fc21f7fcc403aa315d8fb54f04c552841 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Mon, 29 Nov 2010 15:29:55 -0800
Subject: Change mutability into a type constructor.

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

(limited to 'src/boot')

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 70fc1094..87e8e4c1 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -910,6 +910,13 @@ let check_block (cx:Semant.ctxt) : (fn_ctx -> Ast.block -> unit) =
       Array.iter check_stmt' block.Common.node
 
     and check_stmt (stmt:Ast.stmt) : unit =
+      try
+        check_stmt_full stmt
+      with
+          Common.Semant_err (None, msg) ->
+            raise (Common.Semant_err ((Some stmt.Common.id), msg))
+
+    and check_stmt_full (stmt:Ast.stmt) : unit =
       check_ret stmt;
       match stmt.Common.node with
           Ast.STMT_spawn (dst, _, _, callee, args) ->
-- 
cgit v1.2.3