From a05af00eb060dc008bce54dec9171f412387c4f3 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Mon, 15 Mar 2021 12:37:09 -0700 Subject: [PATCH] vocabs: when forgetting vocab foo, also forget foo.private. --- core/vocabs/vocabs.factor | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/core/vocabs/vocabs.factor b/core/vocabs/vocabs.factor index 419219b0c6..87ca67325a 100644 --- a/core/vocabs/vocabs.factor +++ b/core/vocabs/vocabs.factor @@ -130,11 +130,22 @@ M: vocab-spec >vocab-link ; M: object >vocab-link dup lookup-vocab [ ] [ ] ?if ; -: forget-vocab ( vocab -- ) + + +: forget-vocab ( vocab -- ) + [ (forget-vocab) ] [ + vocab-name dup ".private" tail? [ drop ] [ + ".private" append (forget-vocab) + ] if + ] bi ; + M: vocab-spec forget* forget-vocab ; SYMBOL: require-hook -- 2.34.1