From 5dfe740c1649a652e1d43e13531c63867b687777 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Wed, 11 Sep 2019 04:59:56 -0700 Subject: [PATCH] help.markup: slightly faster collect-elements. --- basis/help/markup/markup.factor | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/basis/help/markup/markup.factor b/basis/help/markup/markup.factor index bd46a4e66a..59b71b2188 100644 --- a/basis/help/markup/markup.factor +++ b/basis/help/markup/markup.factor @@ -491,7 +491,7 @@ M: array elements* : elements ( elt-type element -- seq ) [ elements* ] { } make ; : collect-elements ( element seq -- elements ) - swap '[ _ elements [ rest ] map concat ] gather ; + swap '[ [ _ elements* ] each ] { } make [ rest ] map concat ; : <$link> ( topic -- element ) 1array \ $link prefix ;