steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

help.html: Update for vocabs.hierarchy changes

db4
Slava Pestov 2009-07-06 04:35:00 -05:00
parent 4d950dee9a
commit bcdd94d50a
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
basis/help/html/html.factor
View File

@ -5,7 +5,8 @@ io.files io.files.temp io.directories html.streams help kernel
assocs sequences make words accessors arrays help.topics vocabs assocs sequences make words accessors arrays help.topics vocabs
vocabs.hierarchy help.vocabs namespaces prettyprint io vocabs.hierarchy help.vocabs namespaces prettyprint io
vocabs.loader serialize fry memoize unicode.case math.order vocabs.loader serialize fry memoize unicode.case math.order
sorting debugger html xml.syntax xml.writer math.parser ; sorting debugger html xml.syntax xml.writer math.parser
sets hashtables ;
FROM: io.encodings.ascii => ascii ; FROM: io.encodings.ascii => ascii ;
FROM: ascii => ascii? ; FROM: ascii => ascii? ;
IN: help.html IN: help.html
@ -71,10 +72,18 @@ M: topic url-of topic>filename ;
: generate-help-file ( topic -- ) : generate-help-file ( topic -- )
dup topic>filename utf8 [ help>html write-xml ] with-file-writer ; dup topic>filename utf8 [ help>html write-xml ] with-file-writer ;
: all-vocabs-really ( -- seq ) : remove-redundant-prefixes ( seq -- seq' )
#! Hack. #! Hack.
all-vocabs values concat [ vocab-prefix? ] partition
vocabs [ find-vocab-root not ] filter [ vocab ] map append ; [
[ vocab-name ] map unique
'[ name>> _ key? not ] filter
[ name>> vocab-link boa ] map
] keep
append ;
: all-vocabs-really ( -- seq )
all-vocabs >hashtable f over delete-at no-roots remove-redundant-prefixes ;
: all-topics ( -- topics ) : all-topics ( -- topics )
[ [