diff options
Diffstat (limited to 'src/interp/parse.boot')
-rw-r--r-- | src/interp/parse.boot | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/interp/parse.boot b/src/interp/parse.boot index 6daf3ea3..f2ff3381 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -244,21 +244,13 @@ parseCategory: %ParseForm -> %Form parseCategory t == t isnt ["CATEGORY",:x] => systemErrorHere ["parseCategory",t] $parsingType: local := true - l:= parseTranList parseDropAssertions x + l:= parseTranList x key:= CONTAINED("$",l) => "domain" "package" ["CATEGORY",key,:l] -parseDropAssertions: %ParseForm -> %Form -parseDropAssertions x == ---note: the COPY of this list is necessary-- do not replace by RPLACing version - x is [y,:r] => - y is ["IF","asserted",:.] => parseDropAssertions r - [y,:parseDropAssertions r] - x - parseLessEqual: %ParseForm -> %Form parseLessEqual u == parseTran ["not",[substitute(">","<=",first u),:rest u]] |