From eb039308ecac2c9dd7834435c0d8b07d7d8d64c2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Tue, 8 Dec 2020 11:49:42 +0100 Subject: [PATCH] Simplify RunMap compare --- lib/model.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/lib/model.ml b/lib/model.ml index 516f705..9594b63 100644 --- a/lib/model.ml +++ b/lib/model.ml @@ -7,10 +7,7 @@ open Lwt_result.Infix module RunMap = Map.Make(struct type t = Fpath.t * Fpath.t let compare (j1,r1) (j2,r2) = - let jcmp = Fpath.compare j1 j2 in - if jcmp <> 0 - then jcmp - else Fpath.compare r1 r2 + Fpath.(compare (j1 // r1) (j2 // r2)) end) type job_run_meta = {