]> gitweb.factorcode.org Git - factor.git/commit
splitting: faster split-when.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Mar 2021 16:08:37 +0000 (09:08 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 23 Mar 2021 16:08:37 +0000 (09:08 -0700)
commitfbffd18fd266ba1b03d2016556945f8da8faf22b
tree2b7a6d3a742588007c2ef81874db3baba4f77a78
parent0ce90ffe5b904633c9985ca9d5c8d27f4f6eb086
splitting: faster split-when.

The old way would accumulate in a vector and then add the last item on
by copying to a new array.

The new way accumulates in a vector including the last item and then
returns an array.
core/splitting/splitting.factor