diff options
Diffstat (limited to 'bytecomp/translcore.ml')
| -rw-r--r-- | bytecomp/translcore.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index 216601e016..22eee67312 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -1021,7 +1021,7 @@ and transl_exp0 e = | `Constant_or_function -> (* a constant expr of type <> float gets compiled as itself *) transl_exp e - | `Float -> + | `Float -> (* We don't need to wrap with Popaque: this forward block will never be shortcutted since it points to a float. *) Lprim(Pmakeblock(Obj.forward_tag, Immutable, None), @@ -1347,7 +1347,7 @@ and transl_match e arg pat_expr_list exn_pat_expr_list partial = and cases = transl_cases pat_expr_list and exn_cases = transl_cases_try exn_pat_expr_list in let static_catch body val_ids handler = - let static_exception_id = next_negative_raise_count () in + let static_exception_id = next_raise_count () in Lstaticcatch (Ltrywith (Lstaticraise (static_exception_id, body), id, Matching.for_trywith (Lvar id) exn_cases), |