From ede6a022a31b7816573c989114ed1c0008a9f128 Mon Sep 17 00:00:00 2001 From: Anton Kochkov Date: Fri, 16 Aug 2019 13:52:27 +0800 Subject: [PATCH] List.zip now uses Or_unequal_lengths --- lib/bap_primus/bap_primus_lisp_resolve.ml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/lib/bap_primus/bap_primus_lisp_resolve.ml b/lib/bap_primus/bap_primus_lisp_resolve.ml index 0cc86e4bf9..52f17ba3bf 100644 --- a/lib/bap_primus/bap_primus_lisp_resolve.ml +++ b/lib/bap_primus/bap_primus_lisp_resolve.ml @@ -111,9 +111,11 @@ let all_bindings f = List.for_all ~f:(fun (v,x) -> f v.data.typ x) -let zip x y = match List.zip x y with +let zip x y = + let open List.Or_unequal_lengths in + match List.zip x y with | Ok z -> Some z - | _ -> None + | Unequal_lengths -> None let overload_defun typechecks args s3 = let open Option in