Handbook
Glossary
to-refresh ( prefix -- modified-sources modified-docs unchanged )
Vocabulary
vocabs
.
refresh
Inputs
prefix
an
object
Outputs
modified-sources
an
object
modified-docs
an
object
unchanged
an
object
Definition
USING:
kernel
sequences
sets
vocabs
;
IN:
vocabs.refresh
:
to-refresh
( prefix -- modified-sources modified-docs unchanged )
loaded-child-vocab-names
[
".private"
tail?
]
reject
[
[
[
vocab-source-modified?
]
filter
]
[
[
vocab-docs-modified?
]
filter
]
bi
]
[
[
2dup
append
]
dip
swap
diff
]
bi
;