diff options
| author | Pierre Chambart <pierre.chambart@ocamlpro.com> | 2016-05-18 10:15:42 +0100 |
|---|---|---|
| committer | Pierre Chambart <chambart@users.noreply.github.com> | 2016-10-28 13:03:59 +0200 |
| commit | 8cd36d195a0e94b09be4ffe52eb52e84af7bc085 (patch) | |
| tree | 1334814da6079a921bc31f7bf9b1afe2964b0019 /asmcomp/linearize.ml | |
| parent | 2e3b6ba249f2dc0b4c0d1bd60d4e5adb1ee38e02 (diff) | |
| download | ocaml-8cd36d195a0e94b09be4ffe52eb52e84af7bc085.tar.gz | |
Rename io to nfail in linearize.
Diffstat (limited to 'asmcomp/linearize.ml')
| -rw-r--r-- | asmcomp/linearize.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 8796c7a2c1..4e4776a3e4 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -258,17 +258,17 @@ let rec linear i n = (* CR mshinwell for pchambart: 1. rename "io" 2. Make sure the test cases cover the "Iend" cases too *) - let labels_at_entry_to_handlers = List.map (fun (_io, handler) -> + let labels_at_entry_to_handlers = List.map (fun (_nfail, handler) -> match handler.Mach.desc with | Iend -> lbl_end | _ -> Cmm.new_label ()) handlers in let exit_label_add = List.map2 - (fun (io, _) lbl -> (io, (lbl, !try_depth))) + (fun (nfail, _) lbl -> (nfail, (lbl, !try_depth))) handlers labels_at_entry_to_handlers in let previous_exit_label = !exit_label in exit_label := exit_label_add @ !exit_label; - let n2 = List.fold_left2 (fun n (_io, handler) lbl_handler -> + let n2 = List.fold_left2 (fun n (_nfail, handler) lbl_handler -> match handler.Mach.desc with | Iend -> n | _ -> cons_instr (Llabel lbl_handler) (linear handler n)) |