help.markup: slightly faster collect-elements.

2019-09-11 04:59:56 -07:00 · 2019-09-11 04:59:56 -07:00 · 5dfe740c16
parent 04f96c83f1
commit 5dfe740c16
1 changed files with 1 additions and 1 deletions
--- 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 ;