vocabs.refresh: changing ``changed-vocabs`` to a hash-set.
parent
737abe0f9a
commit
4788bfba4c
|
@ -62,7 +62,7 @@ TR: convert-separators "/\\" ".." ;
|
||||||
bi spawn drop ;
|
bi spawn drop ;
|
||||||
|
|
||||||
: init-vocab-monitor ( -- )
|
: init-vocab-monitor ( -- )
|
||||||
H{ } clone changed-vocabs set-global
|
HS{ } clone changed-vocabs set-global
|
||||||
loaded-vocab-names [ changed-vocab ] each ;
|
loaded-vocab-names [ changed-vocab ] each ;
|
||||||
|
|
||||||
[
|
[
|
||||||
|
|
|
@ -22,16 +22,16 @@ SYMBOL: changed-vocabs
|
||||||
|
|
||||||
: changed-vocab ( vocab -- )
|
: changed-vocab ( vocab -- )
|
||||||
dup lookup-vocab changed-vocabs get and
|
dup lookup-vocab changed-vocabs get and
|
||||||
[ dup changed-vocabs get set-at ] [ drop ] if ;
|
[ changed-vocabs get adjoin ] [ drop ] if ;
|
||||||
|
|
||||||
: mark-unchanged-vocab ( vocab-name -- )
|
: mark-unchanged-vocab ( vocab-name -- )
|
||||||
changed-vocabs get delete-at ;
|
changed-vocabs get delete ;
|
||||||
|
|
||||||
: mark-unchanged-vocabs ( vocab-names -- )
|
: mark-unchanged-vocabs ( vocab-names -- )
|
||||||
[ mark-unchanged-vocab ] each ;
|
[ mark-unchanged-vocab ] each ;
|
||||||
|
|
||||||
: changed-vocab-by-name? ( vocab -- ? )
|
: changed-vocab-by-name? ( vocab -- ? )
|
||||||
changed-vocabs get [ key? ] [ drop t ] if* ;
|
changed-vocabs get [ in? ] [ drop t ] if* ;
|
||||||
|
|
||||||
: (to-refresh) ( vocab-name loaded? path -- ? )
|
: (to-refresh) ( vocab-name loaded? path -- ? )
|
||||||
[
|
[
|
||||||
|
|
Loading…
Reference in New Issue