From 41ed793756a3177fc759ef128ff8b8c79ab4b589 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Fri, 10 Aug 2012 15:08:40 -0700 Subject: [PATCH] vocabs.loader: more private fixes. --- core/vocabs/loader/loader.factor | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/core/vocabs/loader/loader.factor b/core/vocabs/loader/loader.factor index e63482ca81..99edbad907 100644 --- a/core/vocabs/loader/loader.factor +++ b/core/vocabs/loader/loader.factor @@ -89,7 +89,9 @@ require-when-table [ V{ } clone ] initialize dup check-vocab-hook get call( vocab -- ) [ +parsing+ >>source-loaded? - dup vocab-source-path [ parse-file ] [ [ ] ] if* + dup vocab-name ".private" tail? [ [ ] ] [ + dup vocab-source-path [ parse-file ] [ [ ] ] if* + ] if [ +parsing+ >>source-loaded? ] dip [ % ] [ call( -- ) ] if-bootstrapping +done+ >>source-loaded? @@ -100,7 +102,11 @@ require-when-table [ V{ } clone ] initialize load-help? get [ [ +parsing+ >>docs-loaded? - [ vocab-docs-path [ ?run-file ] when* ] keep + [ + dup vocab-name ".private" tail? [ drop ] [ + vocab-docs-path [ ?run-file ] when* + ] if + ] keep +done+ >>docs-loaded? ] [ ] [ f >>docs-loaded? ] cleanup ] when drop ;