diff options
Diffstat (limited to 'src/boot')
-rw-r--r-- | src/boot/ast.boot | 26 | ||||
-rw-r--r-- | src/boot/strap/ast.clisp | 93 | ||||
-rw-r--r-- | src/boot/strap/parser.clisp | 8 | ||||
-rw-r--r-- | src/boot/strap/scanner.clisp | 2 | ||||
-rw-r--r-- | src/boot/strap/translator.clisp | 30 |
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|))))))) |