---

pcwalton · pcwalton · commit 5c177aa21451 · 2010-07-19T19:14:41.000-07:00
yaml --- r: 322 b: refs/heads/master c: b0f7708 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: ae515c017c0aadb2a4c691804f1bc3b8b343dd67
+refs/heads/master: b0f77088fa9d4afe98254f9c36e4bf707eef2c01
diff --git a/trunk/src/boot/me/type.ml b/trunk/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

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: ae515c017c0aadb2a4c691804f1bc3b8b343dd67`
	`2`	`+refs/heads/master: b0f77088fa9d4afe98254f9c36e4bf707eef2c01`