From d6fe4db6a227189d782bab358a94462c9720e7c6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 6 Dec 2023 21:05:49 -0500 Subject: [PATCH] fixity fix --- src/core/CCList.ml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/core/CCList.ml b/src/core/CCList.ml index e8076039..02ec4384 100644 --- a/src/core/CCList.ml +++ b/src/core/CCList.ml @@ -177,11 +177,10 @@ let[@tail_mod_cons] rec filter f l = | [] -> [] | x :: tl -> let keep = f x in - let tl = filter f tl in if keep then - x :: tl + x :: filter f tl else - tl + filter f tl [@@@else_] (* stdlib's filter uses TRMC after 5.1 *) @@ -895,7 +894,7 @@ let take_while p l = [@@@else_] -let rec take_while p l = +let[@tail_mod_cons] rec take_while p l = match l with | [] -> [] | x :: l' ->