Handbook
Glossary
do-refresh ( modified-sources modified-docs unchanged -- )
Vocabulary
vocabs
.
refresh
Inputs
modified-sources
an
object
modified-docs
an
object
unchanged
an
object
Outputs
None
Definition
USING:
accessors
kernel
sequences
sets
vocabs
;
IN:
vocabs.refresh
:
do-refresh
( modified-sources modified-docs unchanged -- )
mark-unchanged-vocabs
[
[
[
lookup-vocab
f
>>source-loaded?
drop
]
each
]
[
[
lookup-vocab
f
>>docs-loaded?
drop
]
each
]
bi*
]
[
union
[
mark-unchanged-vocabs
]
[
require-all
]
bi
]
2bi
;