diff options
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) -> |