From db9de5bc717be46f0ca2dc1aa975c75adca6264d Mon Sep 17 00:00:00 2001
From: pacien
Date: Sun, 22 Apr 2018 20:54:32 +0200
Subject: Simplifications

---
 reg.ml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'reg.ml')

diff --git a/reg.ml b/reg.ml
index b27a868..c452282 100644
--- a/reg.ml
+++ b/reg.ml
@@ -7,10 +7,11 @@ open Common
 
 let reg_idx (Reg(idx, _)) = idx
 let reg_val (Reg(_, value)) = value
-let reg_compar reg1 reg2 = (reg_val reg1) - (reg_val reg2)
+let reg_compar l r = (reg_val l) - (reg_val r)
 
-let regs_get reglist idx =
-  List.find (fun (Reg(x,v)) -> x = idx) reglist |> reg_val
+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(x, v)) -> x != index) reglist
+  Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist
+
-- 
cgit v1.2.3