diff options
| author | alainfrisch <alain@frisch.fr> | 2017-11-29 18:08:10 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2017-12-01 10:13:48 +0100 |
| commit | 0ee044895ea4f1f04a8e4bf46044e97dcbf1eb8b (patch) | |
| tree | 2f745a7c5bf976f31da6eea311c7aba8e0075bd4 /bytecomp/translcore.ml | |
| parent | 8489efb58e78301edcd87f0d7545c7b16500732b (diff) | |
| download | ocaml-fix_7680.tar.gz | |
Get rid of redundant machinery.fix_7680
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), |