From 7d05d97c8e51e77f117fc14f060bb0c54b86a135 Mon Sep 17 00:00:00 2001 From: pacien Date: Fri, 27 Apr 2018 12:07:02 +0200 Subject: Sort regs before printing --- reg.ml | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) (limited to 'reg.ml') diff --git a/reg.ml b/reg.ml index d065838..56c4ae6 100644 --- a/reg.ml +++ b/reg.ml @@ -10,11 +10,7 @@ let reg_val (Reg(_, value)) = value let reg_compar l r = (reg_val l) - (reg_val r) let reg_string (Reg (index, value)) = "(" ^ (string_of_int index) ^ "," ^ (string_of_int value) ^ ")" -let regs_get reglist index = - List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val - -let regs_set reglist index value = - Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist - -let regs_string reglist = List.map (reg_string) reglist |> String.concat "," - +let regs_get reglist index = List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val +let regs_set reglist index value = Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist +let regs_sort = List.sort (fun (Reg(l, _)) (Reg(r, _)) -> compare l r) +let regs_string reglist = regs_sort reglist |> List.map (reg_string) |> String.concat "," -- cgit v1.2.3