From 6df7360ec98b7269f6ac9d1ce1f41babcf048851 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Wed, 4 Jul 2018 20:19:02 -0500 Subject: [PATCH] vocabs.loader: make a word for the default vocabs. --- core/vocabs/loader/loader.factor | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/core/vocabs/loader/loader.factor b/core/vocabs/loader/loader.factor index f77c32d57e..b1d6e31359 100644 --- a/core/vocabs/loader/loader.factor +++ b/core/vocabs/loader/loader.factor @@ -9,13 +9,15 @@ SYMBOL: vocab-roots SYMBOL: add-vocab-root-hook +CONSTANT: default-vocab-roots { + "resource:core" + "resource:basis" + "resource:extra" + "resource:work" +} + [ - V{ - "resource:core" - "resource:basis" - "resource:extra" - "resource:work" - } clone vocab-roots set-global + default-vocab-roots V{ } like vocab-roots set-global [ drop ] add-vocab-root-hook set-global ] "vocabs.loader" add-startup-hook