From 571d619442b35114e9314f9d2de0c205dfa16144 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 27 Aug 2011 01:04:02 -0500 Subject: [PATCH] Use change-vocabulary-coverage word for toggle-coverage too to handle .private vocabs --- basis/tools/coverage/coverage.factor | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/basis/tools/coverage/coverage.factor b/basis/tools/coverage/coverage.factor index 0e04d904ea..062358568e 100644 --- a/basis/tools/coverage/coverage.factor +++ b/basis/tools/coverage/coverage.factor @@ -8,14 +8,16 @@ TUPLE: coverage < identity-tuple executed? ; C: coverage -: private-vocab-name ( string -- string' ) - ".private" ?tail drop ".private" append ; - GENERIC: coverage-on ( object -- ) GENERIC: coverage-off ( object -- ) -: change-coverage ( string quot -- ) + + M: string coverage-on - [ coverage-on ] change-coverage ; + [ coverage-on ] change-vocabulary-coverage ; M: string coverage-off ( vocabulary -- ) - [ coverage-off ] change-coverage ; + [ coverage-off ] change-vocabulary-coverage ; M: word coverage-on ( word -- ) H{ } clone [ "coverage" set-word-prop ] 2keep @@ -42,7 +46,7 @@ M: word coverage-off ( word -- ) GENERIC: toggle-coverage ( object -- ) M: string toggle-coverage - words [ toggle-coverage ] each ; + [ toggle-coverage ] change-vocabulary-coverage ; M: word toggle-coverage dup "coverage" word-prop [