fixity fix

This commit is contained in:
Simon Cruanes 2023-12-06 21:05:49 -05:00
parent 81f410649e
commit d6fe4db6a2
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -177,11 +177,10 @@ let[@tail_mod_cons] rec filter f l =
| [] -> [] | [] -> []
| x :: tl -> | x :: tl ->
let keep = f x in let keep = f x in
let tl = filter f tl in
if keep then if keep then
x :: tl x :: filter f tl
else else
tl filter f tl
[@@@else_] [@@@else_]
(* stdlib's filter uses TRMC after 5.1 *) (* stdlib's filter uses TRMC after 5.1 *)
@ -895,7 +894,7 @@ let take_while p l =
[@@@else_] [@@@else_]
let rec take_while p l = let[@tail_mod_cons] rec take_while p l =
match l with match l with
| [] -> [] | [] -> []
| x :: l' -> | x :: l' ->