From 8744d664673be031acc0ccc393bb2ef62f0caf05 Mon Sep 17 00:00:00 2001 From: John Benediktsson Date: Tue, 16 Jun 2015 18:47:57 -0700 Subject: [PATCH] vocabs.parser: error on unbalanced private declarations. --- core/vocabs/parser/parser.factor | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/core/vocabs/parser/parser.factor b/core/vocabs/parser/parser.factor index 1aa4d1fa05..3751db3fba 100644 --- a/core/vocabs/parser/parser.factor +++ b/core/vocabs/parser/parser.factor @@ -94,13 +94,17 @@ TUPLE: no-current-vocab-error ; : current-vocab ( -- vocab ) manifest get current-vocab>> [ no-current-vocab ] unless* ; +ERROR: unbalanced-private-declaration vocab ; + : begin-private ( -- ) current-vocab name>> ".private" ?tail - [ drop ] [ ".private" append set-current-vocab ] if ; + [ unbalanced-private-declaration ] + [ ".private" append set-current-vocab ] if ; : end-private ( -- ) current-vocab name>> ".private" ?tail - [ set-current-vocab ] [ drop ] if ; + [ set-current-vocab ] + [ unbalanced-private-declaration ] if ; : using-vocab? ( vocab -- ? ) vocab-name manifest get search-vocab-names>> in? ; -- 2.34.1