lib.lists: remove fold

This commit is contained in:
GraysonTinker
2026-06-17 15:03:13 -07:00
committed by Grayson Tinker
parent 2aa2d116fb
commit ac96b0d751

View File

@@ -143,13 +143,9 @@ rec {
fold' 0;
/**
`fold` is an alias of `foldr` for historic reasons.
::: {.warning}
This function will be removed in 26.05.
:::
`fold` was an alias of `foldr` for historic reasons.
*/
fold = warn "fold has been deprecated, use foldr instead" foldr;
fold = throw "fold is a removed alias of foldr, use it instead"; # TODO: Remove in 26.11
/**
“left fold”, like `foldr`, but from the left: