From 846494e1a27aaf8282ac66c0226fc7c9eb5d3cf8 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 c8ec986e..6d7776b2 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 *) @@ -908,7 +907,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' ->