From bc73bfd8eac7a7fe38d649c83daf8d396c2977d9 Mon Sep 17 00:00:00 2001 From: Kye Shi Date: Wed, 16 Dec 2020 11:24:17 -0800 Subject: [PATCH] CCImmutArray: replace Fun.id with (fun b -> b) in tests --- src/data/CCImmutArray.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/data/CCImmutArray.ml b/src/data/CCImmutArray.ml index 51baf645..f69e32e0 100644 --- a/src/data/CCImmutArray.ml +++ b/src/data/CCImmutArray.ml @@ -101,13 +101,13 @@ let exists p a = *) (*$Q - Q.(list bool) (fun l -> let a = of_list l in not @@ exists Fun.id a = for_all not a) - Q.(list bool) (fun l -> let a = of_list l in not @@ for_all Fun.id a = exists not a) + Q.(list bool) (fun l -> let a = of_list l in not @@ exists (fun b -> b) a = for_all not a) + Q.(list bool) (fun l -> let a = of_list l in not @@ for_all (fun b -> b) a = exists not a) *) (*$Q - Q.(list bool) (fun l -> exists Fun.id (of_list l) = List.fold_left (||) false l) - Q.(list bool) (fun l -> for_all Fun.id (of_list l) = List.fold_left (&&) true l) + Q.(list bool) (fun l -> exists (fun b -> b) (of_list l) = List.fold_left (||) false l) + Q.(list bool) (fun l -> for_all (fun b -> b) (of_list l) = List.fold_left (&&) true l) *) (** {2 Conversions} *)