From 7fa43216f548e407ee6bc0da7e5f65257118c853 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 18 Oct 2020 16:19:44 -0700 Subject: [PATCH] chore: argument name --- src/Std/Data/PersistentArray.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Std/Data/PersistentArray.lean b/src/Std/Data/PersistentArray.lean index dea5697e29..405925f9b1 100644 --- a/src/Std/Data/PersistentArray.lean +++ b/src/Std/Data/PersistentArray.lean @@ -241,8 +241,8 @@ forMAux f t.root *> t.tail.forM f end -@[inline] def foldl {β} (t : PersistentArray α) (f : β → α → β) (b : β) : β := -Id.run (t.foldlM f b) +@[inline] def foldl {β} (t : PersistentArray α) (f : β → α → β) (init : β) : β := +Id.run (t.foldlM f init) @[inline] def filter (as : PersistentArray α) (p : α → Bool) : PersistentArray α := as.foldl (fun asNew a => if p a then asNew.push a else asNew) {}