]> gitweb.factorcode.org Git - factor.git/commitdiff
Add notes section about resizability
authorchunes3 <krenium@protonmail.com>
Sun, 10 Sep 2023 22:40:10 +0000 (17:40 -0500)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 11 Sep 2023 00:25:43 +0000 (17:25 -0700)
extra/sequences/extras/extras-docs.factor

index ab02cb4765b289614bfd5c75bc76b609bcf106ab..98f0e594b6c07a9fb630fd14ee55c06ed2aa0d5d 100644 (file)
@@ -1263,6 +1263,7 @@ HELP: sift!
     { "seq'" { "a resizable mutable " { $link sequence } } }
 }
 { $description "Removes all instances of " { $link f } " from a sequence." }
+{ $notes "The sequence " { $snippet "seq" } " MUST be growable. See " { $link "growable" } "." }
 { $side-effects "seq" }
 { $examples
     { $example