fixity fix

This commit is contained in:
Simon Cruanes 2023-12-06 21:05:49 -05:00
parent 40ef76f79f
commit 846494e1a2
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 ->
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' ->