diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/trans.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index be7adc1a..07b22dca 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -4532,6 +4532,8 @@ let trans_visitor calls | Ast.STMT_ret atom_opt -> + if get_stmt_depth cx stmt.id > 0 + then unimpl (Some stmt.id) "ret within iterator-block"; begin match atom_opt with None -> () |