From 1f99d0fb702858daa054dd3b5e2db69ce7162e09 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 12 Mar 2018 10:46:58 +0700 Subject: [PATCH] Simplify Env.get we already have Var.equal now --- src/env.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/env.ml b/src/env.ml index d968cc09..772c7772 100644 --- a/src/env.ml +++ b/src/env.ml @@ -35,10 +35,7 @@ let make vars = } let get t k = - List.find_map t.vars ~f:(fun (k', v) -> - match Var.compare k k' with - | Ordering.Eq -> Some v - | _ -> None) + List.find_map t.vars ~f:(fun (k', v) -> Option.some_if (Var.equal k k') v) let to_unix t = match t.unix with