From 80f5cef01abdaee3b8c818ea07f534570e94c6d4 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 14 Oct 2007 03:36:45 +0000 Subject: * ast.boot.pamphlet (bfGetOldBootName): New. (bfSameMeaning): Likewise. (bfReName): Use them. * parser.boot.pamphlet (bpCompare): Tidy. * tokens.boot.pamphlet: Rename NE to SHOENE. Record Old Boot renaming tokens. Likewise for tokens with same meaning. * translator.boot.pamphlet (AxiomCore::%sysInit): New. ($translatingOldBoot): Likewise. --- src/boot/parser.boot.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/boot/parser.boot.pamphlet') diff --git a/src/boot/parser.boot.pamphlet b/src/boot/parser.boot.pamphlet index eb68fa1e..47627d4a 100644 --- a/src/boot/parser.boot.pamphlet +++ b/src/boot/parser.boot.pamphlet @@ -703,7 +703,7 @@ bpBracketConstruct(f)== bpBracket f and bpPush bfConstruct bpPop1 () bpCompare()== - bpIs() and (bpInfKey '(SHOEEQ NE LT LE GT GE IN) + bpIs() and (bpInfKey '(SHOEEQ SHOENE LT LE GT GE IN) and (bpIs() or bpTrap()) and bpPush bfInfApplication(bpPop2(),bpPop2(),bpPop1()) or true) @@ -1912,7 +1912,7 @@ bpCaseItem()== (PROG () (RETURN (AND (|bpIs|) - (OR (AND (|bpInfKey| '(SHOEEQ NE LT LE GT GE IN)) + (OR (AND (|bpInfKey| '(SHOEEQ SHOENE LT LE GT GE IN)) (OR (|bpIs|) (|bpTrap|)) (|bpPush| (|bfInfApplication| (|bpPop2|) (|bpPop2|) -- cgit v1.2.3