diff options
| author | Graydon Hoare <[email protected]> | 2010-11-29 15:29:55 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-11-29 15:29:55 -0800 |
| commit | 3e08171fc21f7fcc403aa315d8fb54f04c552841 (patch) | |
| tree | b4ff7c529374fe4680c70b9d26d95a3b0499afbb /src/boot | |
| parent | Change from bool to tag ast.mutability. (diff) | |
| download | rust-3e08171fc21f7fcc403aa315d8fb54f04c552841.tar.xz rust-3e08171fc21f7fcc403aa315d8fb54f04c552841.zip | |
Change mutability into a type constructor.
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/type.ml | 7 |
1 files changed, 7 insertions, 0 deletions
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) -> |