From 4788bfba4cb4119b905d5294564c603dbd880d6e Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Sun, 25 Feb 2018 12:00:07 -0800 Subject: [PATCH] vocabs.refresh: changing ``changed-vocabs`` to a hash-set. --- basis/vocabs/refresh/monitor/monitor.factor | 2 +- basis/vocabs/refresh/refresh.factor | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/basis/vocabs/refresh/monitor/monitor.factor b/basis/vocabs/refresh/monitor/monitor.factor index dcd906a076..7e668daac1 100644 --- a/basis/vocabs/refresh/monitor/monitor.factor +++ b/basis/vocabs/refresh/monitor/monitor.factor @@ -62,7 +62,7 @@ TR: convert-separators "/\\" ".." ; bi spawn drop ; : init-vocab-monitor ( -- ) - H{ } clone changed-vocabs set-global + HS{ } clone changed-vocabs set-global loaded-vocab-names [ changed-vocab ] each ; [ diff --git a/basis/vocabs/refresh/refresh.factor b/basis/vocabs/refresh/refresh.factor index 50b86d9b79..901becbf0f 100644 --- a/basis/vocabs/refresh/refresh.factor +++ b/basis/vocabs/refresh/refresh.factor @@ -22,16 +22,16 @@ SYMBOL: changed-vocabs : changed-vocab ( vocab -- ) 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 -- ) - changed-vocabs get delete-at ; + changed-vocabs get delete ; : mark-unchanged-vocabs ( vocab-names -- ) [ mark-unchanged-vocab ] each ; : 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 -- ? ) [