aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/boot/ast.boot26
-rw-r--r--src/boot/strap/ast.clisp93
-rw-r--r--src/boot/strap/parser.clisp8
-rw-r--r--src/boot/strap/scanner.clisp2
-rw-r--r--src/boot/strap/translator.clisp30
5 files changed, 76 insertions, 83 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index 03d9bf79..1fdeceb7 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -619,22 +619,17 @@ bfISReverse(x,a) ==
bpTrap()
bfIS1(lhs,rhs) ==
- null rhs =>
- ['NULL,lhs]
- STRINGP rhs =>
- ['EQ,lhs,['QUOTE,INTERN rhs]]
- NUMBERP rhs =>
- ["EQUAL",lhs,rhs]
- atom rhs =>
- ['PROGN,bfLetForm(rhs,lhs),''T]
+ null rhs => ['NULL,lhs]
+ STRINGP rhs => ['EQ,lhs,['QUOTE,INTERN rhs]]
+ NUMBERP rhs => ["EQUAL",lhs,rhs]
+ atom rhs => ['PROGN,bfLetForm(rhs,lhs),'T]
rhs is ['QUOTE,a] =>
IDENTP a => ['EQ,lhs,rhs]
["EQUAL",lhs,rhs]
rhs is ['L%T,c,d] =>
l := bfLET(c,lhs)
- bfAND [bfIS1(lhs,d),bfMKPROGN [l,''T]]
- rhs is ["EQUAL",a] =>
- ["EQUAL",lhs,a]
+ bfAND [bfIS1(lhs,d),bfMKPROGN [l,'T]]
+ rhs is ["EQUAL",a] => bfQ(lhs,a)
CONSP lhs =>
g := INTERN CONCAT('"ISTMP#",STRINGIMAGE $isGenVarCounter)
$isGenVarCounter := $isGenVarCounter + 1
@@ -654,18 +649,18 @@ bfIS1(lhs,rhs) ==
bfAND [['CONSP,lhs],bfIS1(['CAR,lhs],a)]
a1 := bfIS1(['CAR,lhs],a)
b1 := bfIS1(['CDR,lhs],b)
- a1 is ['PROGN,c,''T] and b1 is ['PROGN,:cls] =>
+ a1 is ['PROGN,c,'T] and b1 is ['PROGN,:cls] =>
bfAND [['CONSP,lhs],bfMKPROGN [c,:cls]]
bfAND [['CONSP,lhs],a1,b1]
rhs is ['APPEND,a,b] =>
patrev := bfISReverse(b,a)
g := INTERN CONCAT('"ISTMP#",STRINGIMAGE $isGenVarCounter)
$isGenVarCounter := $isGenVarCounter + 1
- rev := bfAND [['CONSP,lhs],['PROGN,['L%T,g,['REVERSE,lhs]],''T]]
+ rev := bfAND [['CONSP,lhs],['PROGN,['L%T,g,['REVERSE,lhs]],'T]]
l2 := bfIS1(g,patrev)
if CONSP l2 and atom first l2 then l2 := cons(l2,nil)
a = "DOT" => bfAND [rev,:l2]
- bfAND [rev,:l2,['PROGN,bfLetForm(a,['NREVERSE,a]),''T]]
+ bfAND [rev,:l2,['PROGN,bfLetForm(a,['NREVERSE,a]),'T]]
bpSpecificErrorHere '"bad IS code is generated"
bpTrap()
@@ -725,7 +720,8 @@ bfQ(l,r)==
["EQUAL",l,r]
bfLessp(l,r)==
- r=0 => ["MINUSP", l]
+ l = 0 => ["PLUSP",r]
+ r = 0 => ["MINUSP", l]
["<",l,r]
bfMDef (op,args,body) ==
diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp
index 2fca7b8a..cc73c41e 100644
--- a/src/boot/strap/ast.clisp
+++ b/src/boot/strap/ast.clisp
@@ -211,7 +211,7 @@
((NULL |x|)
(COND
((AND (CONSP |y|) (EQ (CAR |y|) 'BVQUOTE)
- (PROGN (SETQ |a| (CDR |y|)) 'T))
+ (PROGN (SETQ |a| (CDR |y|)) T))
(LIST '&REST (CONS 'QUOTE |a|)))
(T (LIST '&REST |y|))))
(T (CONS (CAR |x|) (|bfColonAppend| (CDR |x|) |y|)))))))
@@ -282,8 +282,8 @@
(PROGN
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#2|)) #0='T)))))
- (PROGN (SETQ |l1| (CDR |l|)) #0#))
+ (PROGN (SETQ |a| (CAR |ISTMP#2|)) T)))))
+ (PROGN (SETQ |l1| (CDR |l|)) T))
(COND (|l1| (LIST 'APPEND |a| (|bfMakeCons| |l1|))) (T |a|)))
(T (LIST 'CONS (CAR |l|) (|bfMakeCons| (CDR |l|))))))))
@@ -484,7 +484,7 @@
(PROGN
(SETQ |ISTMP#1| (CDR |y|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#1|)) 'T))))
+ (PROGN (SETQ |a| (CAR |ISTMP#1|)) T))))
(|bf0APPEND| |a| |itl|))
((AND (CONSP |y|) (EQ (CAR |y|) 'TUPLE))
(SETQ |newBody| (|bfConstruct| |y|))
@@ -774,7 +774,7 @@
(SETQ |a| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |b| (CAR |ISTMP#2|)) #0='T))))))
+ (PROGN (SETQ |b| (CAR |ISTMP#2|)) T))))))
(SETQ |a| (|bfLET2| |a| |rhs|))
(COND
((NULL (SETQ |b| (|bfLET2| |b| |rhs|))) |a|)
@@ -789,7 +789,7 @@
(SETQ |var1| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |var2| (CAR |ISTMP#2|)) #0#))))))
+ (PROGN (SETQ |var2| (CAR |ISTMP#2|)) T))))))
(COND
((OR (EQ |var1| 'DOT)
(AND (CONSP |var1|) (EQ (CAR |var1|) 'QUOTE)))
@@ -821,7 +821,7 @@
(SETQ |var1| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |var2| (CAR |ISTMP#2|)) #0#))))))
+ (PROGN (SETQ |var2| (CAR |ISTMP#2|)) T))))))
(SETQ |patrev| (|bfISReverse| |var2| |var1|))
(SETQ |rev| (LIST 'REVERSE |rhs|))
(SETQ |g|
@@ -847,7 +847,7 @@
(EQ (CDR |ISTMP#3|) NIL)
(PROGN
(SETQ |val1| (CAR |ISTMP#3|))
- #0#)))))))
+ T)))))))
(CONS (LIST 'L%T |g| |rev|)
(APPEND (REVERSE (CDR (REVERSE |l2|)))
(CONS (|bfLetForm| |var1|
@@ -862,7 +862,7 @@
(PROGN
(SETQ |ISTMP#1| (CDR |lhs|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |var1| (CAR |ISTMP#1|)) #0#))))
+ (PROGN (SETQ |var1| (CAR |ISTMP#1|)) T))))
(LIST 'COND (LIST (LIST 'EQUAL |var1| |rhs|) |var1|)))
(T (SETQ |isPred|
(COND
@@ -944,12 +944,12 @@
((NULL |rhs|) (LIST 'NULL |lhs|))
((STRINGP |rhs|) (LIST 'EQ |lhs| (LIST 'QUOTE (INTERN |rhs|))))
((NUMBERP |rhs|) (LIST 'EQUAL |lhs| |rhs|))
- ((ATOM |rhs|) (LIST 'PROGN (|bfLetForm| |rhs| |lhs|) ''T))
+ ((ATOM |rhs|) (LIST 'PROGN (|bfLetForm| |rhs| |lhs|) 'T))
((AND (CONSP |rhs|) (EQ (CAR |rhs|) 'QUOTE)
(PROGN
(SETQ |ISTMP#1| (CDR |rhs|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#1|)) #0='T))))
+ (PROGN (SETQ |a| (CAR |ISTMP#1|)) T))))
(COND
((IDENTP |a|) (LIST 'EQ |lhs| |rhs|))
(T (LIST 'EQUAL |lhs| |rhs|))))
@@ -961,16 +961,16 @@
(SETQ |c| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |d| (CAR |ISTMP#2|)) #0#))))))
+ (PROGN (SETQ |d| (CAR |ISTMP#2|)) T))))))
(SETQ |l| (|bfLET| |c| |lhs|))
(|bfAND| (LIST (|bfIS1| |lhs| |d|)
- (|bfMKPROGN| (LIST |l| ''T)))))
+ (|bfMKPROGN| (LIST |l| 'T)))))
((AND (CONSP |rhs|) (EQ (CAR |rhs|) 'EQUAL)
(PROGN
(SETQ |ISTMP#1| (CDR |rhs|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#1|)) #0#))))
- (LIST 'EQUAL |lhs| |a|))
+ (PROGN (SETQ |a| (CAR |ISTMP#1|)) T))))
+ (|bfQ| |lhs| |a|))
((CONSP |lhs|)
(SETQ |g|
(INTERN (CONCAT "ISTMP#"
@@ -985,7 +985,7 @@
(SETQ |a| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |b| (CAR |ISTMP#2|)) #0#))))))
+ (PROGN (SETQ |b| (CAR |ISTMP#2|)) T))))))
(COND
((EQ |a| 'DOT)
(COND
@@ -1013,9 +1013,9 @@
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|)
(EQ (CDR |ISTMP#2|) NIL)
- (EQUAL (CAR |ISTMP#2|) ''T)))))
+ (EQ (CAR |ISTMP#2|) 'T)))))
(CONSP |b1|) (EQ (CAR |b1|) 'PROGN)
- (PROGN (SETQ |cls| (CDR |b1|)) #0#))
+ (PROGN (SETQ |cls| (CDR |b1|)) T))
(|bfAND| (LIST (LIST 'CONSP |lhs|)
(|bfMKPROGN| (CONS |c| |cls|)))))
(T (|bfAND| (LIST (LIST 'CONSP |lhs|) |a1| |b1|)))))))
@@ -1027,7 +1027,7 @@
(SETQ |a| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |b| (CAR |ISTMP#2|)) #0#))))))
+ (PROGN (SETQ |b| (CAR |ISTMP#2|)) T))))))
(SETQ |patrev| (|bfISReverse| |b| |a|))
(SETQ |g|
(INTERN (CONCAT "ISTMP#"
@@ -1038,7 +1038,7 @@
(LIST 'PROGN
(LIST 'L%T |g|
(LIST 'REVERSE |lhs|))
- ''T))))
+ 'T))))
(SETQ |l2| (|bfIS1| |g| |patrev|))
(COND
((AND (CONSP |l2|) (ATOM (CAR |l2|)))
@@ -1051,7 +1051,7 @@
(LIST 'PROGN
(|bfLetForm| |a|
(LIST 'NREVERSE |a|))
- ''T)
+ 'T)
NIL)))))))
(T (|bpSpecificErrorHere| "bad IS code is generated")
(|bpTrap|))))))
@@ -1086,13 +1086,13 @@
(PROGN
(SETQ |ISTMP#1| (CDR |x|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#1|)) #0='T))))
+ (PROGN (SETQ |a| (CAR |ISTMP#1|)) T))))
|a|)
((AND (CONSP |x|) (EQ (CAR |x|) 'NULL)
(PROGN
(SETQ |ISTMP#1| (CDR |x|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#1|)) #0#))))
+ (PROGN (SETQ |a| (CAR |ISTMP#1|)) T))))
|a|)
(T (LIST 'NOT |x|))))))
@@ -1150,7 +1150,10 @@
(T (LIST 'EQUAL |l| |r|))))
(DEFUN |bfLessp| (|l| |r|)
- (COND ((EQL |r| 0) (LIST 'MINUSP |l|)) (T (LIST '< |l| |r|))))
+ (COND
+ ((EQL |l| 0) (LIST 'PLUSP |r|))
+ ((EQL |r| 0) (LIST 'MINUSP |l|))
+ (T (LIST '< |l| |r|))))
(DEFUN |bfMDef| (|op| |args| |body|)
(PROG (|def| |lamex| |sb2| |sb| |largl| |nargl| |sgargl| |gargl|
@@ -1338,23 +1341,23 @@
(PROGN
(SETQ |ISTMP#1| (CDR |x|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |a| (CAR |ISTMP#1|)) #0='T))))
+ (PROGN (SETQ |a| (CAR |ISTMP#1|)) T))))
(COND
((AND (CONSP |a|) (EQ (CAR |a|) 'QUOTE)
(PROGN
(SETQ |ISTMP#1| (CDR |a|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |b| (CAR |ISTMP#1|)) #0#))))
+ (PROGN (SETQ |b| (CAR |ISTMP#1|)) T))))
(LIST T 'QUOTE (LIST '&REST |b|) |body|))
(T (LIST NIL NIL |x| |body|))))
(T (SETQ |LETTMP#1| (|bfInsertLet1| (CAR |x|) |body|))
(SETQ |b| (CAR |LETTMP#1|))
- (SETQ |norq| (CADR . #1=(|LETTMP#1|)))
- (SETQ |name1| (CADDR . #1#)) (SETQ |body1| (CADDDR . #1#))
+ (SETQ |norq| (CADR . #0=(|LETTMP#1|)))
+ (SETQ |name1| (CADDR . #0#)) (SETQ |body1| (CADDDR . #0#))
(SETQ |LETTMP#1| (|bfInsertLet| (CDR |x|) |body1|))
(SETQ |b1| (CAR |LETTMP#1|))
- (SETQ |norq1| (CADR . #2=(|LETTMP#1|)))
- (SETQ |name2| (CADDR . #2#)) (SETQ |body2| (CADDDR . #2#))
+ (SETQ |norq1| (CADR . #1=(|LETTMP#1|)))
+ (SETQ |name2| (CADDR . #1#)) (SETQ |body2| (CADDDR . #1#))
(LIST (OR |b| |b1|) (CONS |norq| |norq1|)
(|bfParameterList| |name1| |name2|) |body2|))))))
@@ -1370,7 +1373,7 @@
(SETQ |l| (CAR |ISTMP#1|))
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |r| (CAR |ISTMP#2|)) #0='T))))))
+ (PROGN (SETQ |r| (CAR |ISTMP#2|)) T))))))
(LIST NIL NIL |l|
(|bfMKPROGN| (LIST (|bfLET| |r| |l|) |body|))))
((IDENTP |y|) (LIST NIL NIL |y| |body|))
@@ -1378,7 +1381,7 @@
(PROGN
(SETQ |ISTMP#1| (CDR |y|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |b| (CAR |ISTMP#1|)) #0#))))
+ (PROGN (SETQ |b| (CAR |ISTMP#1|)) T))))
(LIST T 'QUOTE |b| |body|))
(T (SETQ |g| (|bfGenSymbol|))
(COND
@@ -1525,7 +1528,7 @@
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|)
(EQ (CDR |ISTMP#2|) NIL)
- (PROGN (SETQ |r| (CAR |ISTMP#2|)) 'T))))))
+ (PROGN (SETQ |r| (CAR |ISTMP#2|)) T))))))
(RPLACA |x| 'SETQ) (|shoeCompTran1| |r|)
(COND
((IDENTP |l|)
@@ -1702,7 +1705,7 @@
(RETURN
(COND
((AND (CONSP |x|) (EQ (CAR |x|) 'PROGN)
- (PROGN (SETQ |y| (CDR |x|)) 'T))
+ (PROGN (SETQ |y| (CDR |x|)) T))
|y|)
(T (LIST |x|))))))
@@ -1751,7 +1754,7 @@
(PROGN
(SETQ |b|
(CAR |ISTMP#5|))
- #0='T))))))))))))))
+ T))))))))))))))
(RETURN (NREVERSE |bfVar#113|)))
(T (SETQ |bfVar#113|
(CONS (CONS |a|
@@ -1765,7 +1768,7 @@
((NULL |before|)
(COND
((AND (CONSP |l|) (EQ (CDR |l|) NIL)
- (PROGN (SETQ |f| (CAR |l|)) #0#))
+ (PROGN (SETQ |f| (CAR |l|)) T))
(COND
((AND (CONSP |f|) (EQ (CAR |f|) 'PROGN))
(|bfSequence| (CDR |f|)))
@@ -1882,7 +1885,7 @@
(RETURN
(COND
((AND (CONSP |x|) (EQ (CDR |x|) NIL)
- (PROGN (SETQ |f| (CAR |x|)) 'T))
+ (PROGN (SETQ |f| (CAR |x|)) T))
(LIST 'DEFCONSTANT |f| (LIST 'LIST (LIST 'QUOTE |f|))))
(T (SETQ |a|
(LET ((|bfVar#117| NIL) (|bfVar#116| (CDR |x|))
@@ -1932,7 +1935,7 @@
(SETQ |i| (CAR |bfVar#118|))
(SETQ |ISTMP#1| (CDR |bfVar#118|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |j| (CAR |ISTMP#1|)) 'T)))
+ (PROGN (SETQ |j| (CAR |ISTMP#1|)) T)))
(SETQ |bfVar#120|
(CONS (|bfCI| |g| |i| |j|) |bfVar#120|)))))
(SETQ |bfVar#119| (CDR |bfVar#119|)))))))
@@ -2169,7 +2172,7 @@
(DEFUN |needsStableReference?| (|t|)
(PROG (|m|)
(RETURN
- (AND (CONSP |t|) (PROGN (SETQ |m| (CAR |t|)) 'T)
+ (AND (CONSP |t|) (PROGN (SETQ |m| (CAR |t|)) T)
(MEMBER |m| '(|readonly| |writeonly| |readwrite|))))))
(DEFUN |coerceToNativeType| (|a| |t|)
@@ -2546,7 +2549,7 @@
(PROGN
(SETQ |x| (CAR |ISTMP#1|))
(SETQ |y| (CDR |ISTMP#1|))
- #0='T)))
+ T)))
(SETQ |bfVar#156|
(CONS
(CONS |a|
@@ -2621,7 +2624,7 @@
(PROGN
(SETQ |y| (CAR |ISTMP#2|))
(SETQ |a| (CDR |ISTMP#2|))
- #0#)))))
+ T)))))
(SETQ |call|
(LIST
(CONS
@@ -2752,9 +2755,7 @@
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|)
(EQ (CDR |ISTMP#2|) NIL)
- (PROGN
- (SETQ |m| (CAR |ISTMP#2|))
- #0='T)))))))
+ (PROGN (SETQ |m| (CAR |ISTMP#2|)) T)))))))
(|coreError| "invalid signature"))
((NOT (AND (CONSP |m|) (EQ (CAR |m|) '|%Mapping|)
(PROGN
@@ -2765,9 +2766,7 @@
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|)
(EQ (CDR |ISTMP#2|) NIL)
- (PROGN
- (SETQ |s| (CAR |ISTMP#2|))
- #0#)))))))
+ (PROGN (SETQ |s| (CAR |ISTMP#2|)) T)))))))
(|coreError| "invalid function type"))
(T (COND
((AND (NOT (NULL |s|)) (SYMBOLP |s|))
diff --git a/src/boot/strap/parser.clisp b/src/boot/strap/parser.clisp
index ceb88b33..39316f4e 100644
--- a/src/boot/strap/parser.clisp
+++ b/src/boot/strap/parser.clisp
@@ -33,7 +33,7 @@
(T (CAR |$inputStream|))))
(SETQ |$ttok| (|shoeTokPart| |$stok|))
(COND
- ((AND (< 0 |$bpParenCount|) (CONSP |$stok|)
+ ((AND (PLUSP |$bpParenCount|) (CONSP |$stok|)
(EQ (CAR |$stok|) 'KEY))
(COND
((EQ |$ttok| 'SETTAB) (SETQ |$bpCount| (+ |$bpCount| 1))
@@ -519,7 +519,7 @@
(DECLARE (SPECIAL |$stok|))
(COND
((EQL |n| 0) NIL)
- ((< 0 |n|)
+ ((PLUSP |n|)
(CONS (|shoeTokConstruct| 'KEY 'SETTAB (|shoeTokPosn| |$stok|))
(|bpAddTokens| (- |n| 1))))
(T (CONS (|shoeTokConstruct| 'KEY 'BACKTAB (|shoeTokPosn| |$stok|))
@@ -1151,9 +1151,7 @@
(SETQ |ISTMP#2| (CDR |ISTMP#1|))
(AND (CONSP |ISTMP#2|)
(EQ (CDR |ISTMP#2|) NIL)
- (PROGN
- (SETQ |r| (CAR |ISTMP#2|))
- 'T)))))
+ (PROGN (SETQ |r| (CAR |ISTMP#2|)) T)))))
(IDENTP |l|))
(COND
(|$InteractiveMode| (LIST (LIST 'SETQ |l| |r|)))
diff --git a/src/boot/strap/scanner.clisp b/src/boot/strap/scanner.clisp
index 6aa88c61..f7d77f67 100644
--- a/src/boot/strap/scanner.clisp
+++ b/src/boot/strap/scanner.clisp
@@ -138,7 +138,7 @@
((EQL |fst| |shoeCLOSEPAREN|)
(SETQ |command| (|shoeLisp?| |$ln|))
(COND
- ((AND |command| (< 0 (LENGTH |command|)))
+ ((AND |command| (PLUSP (LENGTH |command|)))
(COND
((EQL (QENUM |command| 0) (QENUM ";" 0))
(|shoeAccumulateLines| |$r| |string|))
diff --git a/src/boot/strap/translator.clisp b/src/boot/strap/translator.clisp
index 91f09a69..c243fe0c 100644
--- a/src/boot/strap/translator.clisp
+++ b/src/boot/strap/translator.clisp
@@ -357,7 +357,7 @@
(PROGN
(SETQ |bv| (CAR |ISTMP#2|))
(SETQ |body| (CDR |ISTMP#2|))
- 'T))))))
+ T))))))
(COMPILE |name| (CONS 'LAMBDA (CONS |bv| |body|))))
(T (EVAL |fn|))))))
@@ -528,7 +528,7 @@
(AND (CONSP |ISTMP#2|) (EQ (CDR |ISTMP#2|) NIL)
(PROGN
(SETQ |argTypes| (CAR |ISTMP#2|))
- 'T))))))
+ T))))))
(COND
((|bfTupleP| |argTypes|) (SETQ |argTypes| (CDR |argTypes|))))
(COND
@@ -580,7 +580,7 @@
(COND
((ATOM |b|) (LIST |b|))
((AND (CONSP |b|) (EQ (CAR |b|) 'TUPLE)
- (PROGN (SETQ |xs| (CDR |b|)) #0='T))
+ (PROGN (SETQ |xs| (CDR |b|)) T))
(|coreError| "invalid AST"))
(T (CASE (CAR |b|)
(|%Signature|
@@ -641,7 +641,7 @@
(EQ (CDR |ISTMP#2|) NIL)
(PROGN
(SETQ |t| (CAR |ISTMP#2|))
- #0#))))))
+ T))))))
(SETQ |sig| (|genDeclaration| |n| |t|))
(SETQ |lhs| |n|)))
(SETQ |$constantIdentifiers|
@@ -664,7 +664,7 @@
(EQ (CDR |ISTMP#2|) NIL)
(PROGN
(SETQ |t| (CAR |ISTMP#2|))
- #0#))))))
+ T))))))
(SETQ |sig| (|genDeclaration| |n| |t|))
(SETQ |lhs| |n|)))
(COND
@@ -828,7 +828,7 @@
(PROGN
(SETQ |bv| (CAR |ISTMP#2|))
(SETQ |body| (CDR |ISTMP#2|))
- #0='T))))))
+ T))))))
(LIST |name| (CONS 'LAMBDA (CONS |bv| |body|))))
((AND (CONSP |x|) (EQ (CAR |x|) 'DEFMACRO)
(PROGN
@@ -841,7 +841,7 @@
(PROGN
(SETQ |bv| (CAR |ISTMP#2|))
(SETQ |body| (CDR |ISTMP#2|))
- #0#))))))
+ T))))))
(LIST |name| (CONS 'LAMBDA (CONS |bv| |body|))))
((AND (CONSP |x|) (EQ (CAR |x|) 'EVAL-WHEN)
(PROGN
@@ -868,7 +868,7 @@
(PROGN
(SETQ |exp|
(CAR |ISTMP#5|))
- #0#))))))))))))
+ T))))))))))))
(LIST |id| |exp|))
((AND (CONSP |x|) (EQ (CAR |x|) 'SETQ)
(PROGN
@@ -881,7 +881,7 @@
(EQ (CDR |ISTMP#2|) NIL)
(PROGN
(SETQ |exp| (CAR |ISTMP#2|))
- #0#))))))
+ T))))))
(LIST |id| |exp|))
(T (LIST 'TOP-LEVEL |x|))))
(SETQ |nee| (CAR |LETTMP#1|))
@@ -926,7 +926,7 @@
(PROGN
(SETQ |a| (CAR |ISTMP#1|))
(SETQ |b| (CDR |ISTMP#1|))
- #0='T))))
+ T))))
(|defuse1| (APPEND (|unfluidlist| |a|) |e|) |b|))
((AND (CONSP |y|) (EQ (CAR |y|) 'PROG)
(PROGN
@@ -935,7 +935,7 @@
(PROGN
(SETQ |a| (CAR |ISTMP#1|))
(SETQ |b| (CDR |ISTMP#1|))
- #0#))))
+ T))))
(SETQ |LETTMP#1| (|defSeparate| |a|))
(SETQ |dol| (CAR |LETTMP#1|)) (SETQ |ndol| (CADR |LETTMP#1|))
(LET ((|bfVar#20| |dol|) (|i| NIL))
@@ -948,10 +948,10 @@
(SETQ |bfVar#20| (CDR |bfVar#20|))))
(|defuse1| (APPEND |ndol| |e|) |b|))
((AND (CONSP |y|) (EQ (CAR |y|) 'QUOTE)
- (PROGN (SETQ |a| (CDR |y|)) #0#))
+ (PROGN (SETQ |a| (CDR |y|)) T))
NIL)
((AND (CONSP |y|) (EQ (CAR |y|) '+LINE)
- (PROGN (SETQ |a| (CDR |y|)) #0#))
+ (PROGN (SETQ |a| (CDR |y|)) T))
NIL)
(T (LET ((|bfVar#21| |y|) (|i| NIL))
(LOOP
@@ -984,7 +984,7 @@
(PROGN
(SETQ |ISTMP#1| (CDR |x|))
(AND (CONSP |ISTMP#1|) (EQ (CDR |ISTMP#1|) NIL)
- (PROGN (SETQ |y| (CAR |ISTMP#1|)) 'T))))
+ (PROGN (SETQ |y| (CAR |ISTMP#1|)) T))))
(LIST |y|))
(T (CONS (CAR |x|) (|unfluidlist| (CDR |x|))))))))
@@ -1166,7 +1166,7 @@
(PROGN
(SETQ |bv| (CAR |ISTMP#2|))
(SETQ |body| (CDR |ISTMP#2|))
- 'T))))))
+ T))))))
(COMPILE |name| (CONS 'LAMBDA (CONS |bv| |body|))))
(T (EVAL |fn|)))))))