aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-19 02:56:50 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-19 02:56:50 +0000
commit9b2bf0b0a29aecb364f552b85f3ce8626ce0ad0b (patch)
treec6fa07cfd7ae8b442b49a50811545624d5519e28 /src
parent0b706cff1c41bdf44dfc037d7379165f349899bf (diff)
downloadopen-axiom-9b2bf0b0a29aecb364f552b85f3ce8626ce0ad0b.tar.gz
* boot/ast.boot: Add %Leave ast node.
(bfLeave): New. * boot/parser.boot (bpLeave): Use it.
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog6
-rw-r--r--src/boot/ast.boot5
-rw-r--r--src/boot/parser.boot2
-rw-r--r--src/boot/strap/ast.clisp764
-rw-r--r--src/boot/strap/parser.clisp2
5 files changed, 396 insertions, 383 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 2273b3d6..658a5a39 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,11 @@
2010-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * boot/ast.boot: Add %Leave ast node.
+ (bfLeave): New.
+ * boot/parser.boot (bpLeave): Use it.
+
+2010-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* boot/translator.boot (translateToplevelExpression): Tidy.
2010-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index e386f405..0f55e523 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -126,6 +126,7 @@ structure %Ast ==
%Append(%Sequence) -- concatenate lists
%Case(%Ast,%Sequence) -- case x of ...
%Return(%Ast) -- return x
+ %Leave(%Ast) -- leave x
%Throw(%Ast) -- throw OutOfRange 3
%Catch(%Ast) -- catch OutOfRange
%Try(%Ast,%Sequence) -- try x / y catch DivisionByZero
@@ -461,6 +462,9 @@ bfDrop(n,x)==
bfReturnNoName a ==
["RETURN",a]
+
+bfLeave x ==
+ ["%Leave",x]
bfSUBLIS(p,e)==
atom e=>bfSUBLIS1(p,e)
@@ -803,7 +807,6 @@ shoeComp x==
a is ["LAMBDA",:.] => ["DEFUN",first x,second a,:CDDR a]
["DEFMACRO",first x,second a,:CDDR a]
-
++ Translate function parameter list to Lisp.
++ We are processing a function definition. `p2' is the list of
++ parameters we have seen so far, and we are about to add a
diff --git a/src/boot/parser.boot b/src/boot/parser.boot
index 9525c6db..5e5b7a09 100644
--- a/src/boot/parser.boot
+++ b/src/boot/parser.boot
@@ -730,7 +730,7 @@ bpCatchItem() ==
++ LEAVE Logical
bpLeave() ==
bpEqKey "LEAVE" and (bpLogical() or bpTrap()) and
- bpPush %LeaveAst bpPop1()
+ bpPush bfLeave bpPop1()
++ Return:
++ RETURN Assign
diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp
index a899f5ed..ec4a2fdd 100644
--- a/src/boot/strap/ast.clisp
+++ b/src/boot/strap/ast.clisp
@@ -139,16 +139,18 @@
(DEFUN |%Return| #0=(|bfVar#72|) (CONS '|%Return| (LIST . #0#)))
-(DEFUN |%Throw| #0=(|bfVar#73|) (CONS '|%Throw| (LIST . #0#)))
+(DEFUN |%Leave| #0=(|bfVar#73|) (CONS '|%Leave| (LIST . #0#)))
-(DEFUN |%Catch| #0=(|bfVar#74|) (CONS '|%Catch| (LIST . #0#)))
+(DEFUN |%Throw| #0=(|bfVar#74|) (CONS '|%Throw| (LIST . #0#)))
-(DEFUN |%Try| #0=(|bfVar#75| |bfVar#76|) (CONS '|%Try| (LIST . #0#)))
+(DEFUN |%Catch| #0=(|bfVar#75|) (CONS '|%Catch| (LIST . #0#)))
-(DEFUN |%Where| #0=(|bfVar#77| |bfVar#78|)
+(DEFUN |%Try| #0=(|bfVar#76| |bfVar#77|) (CONS '|%Try| (LIST . #0#)))
+
+(DEFUN |%Where| #0=(|bfVar#78| |bfVar#79|)
(CONS '|%Where| (LIST . #0#)))
-(DEFUN |%Structure| #0=(|bfVar#79| |bfVar#80|)
+(DEFUN |%Structure| #0=(|bfVar#80| |bfVar#81|)
(CONS '|%Structure| (LIST . #0#)))
(DEFPARAMETER |$inDefIS| NIL)
@@ -247,21 +249,21 @@
(PROGN
(SETQ |a| (COND ((|bfTupleP| |b|) (CDR |b|)) (T (LIST |b|))))
(COND
- ((LET ((|bfVar#82| NIL) (|bfVar#81| |a|) (|x| NIL))
+ ((LET ((|bfVar#83| NIL) (|bfVar#82| |a|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#81|)
- (PROGN (SETQ |x| (CAR |bfVar#81|)) NIL))
- (RETURN |bfVar#82|))
+ ((OR (ATOM |bfVar#82|)
+ (PROGN (SETQ |x| (CAR |bfVar#82|)) NIL))
+ (RETURN |bfVar#83|))
(T (PROGN
- (SETQ |bfVar#82|
+ (SETQ |bfVar#83|
(AND (CONSP |x|) (EQ (CAR |x|) 'COLON)
(PROGN
(SETQ |ISTMP#1| (CDR |x|))
(AND (CONSP |ISTMP#1|)
(NULL (CDR |ISTMP#1|))))))
- (COND (|bfVar#82| (RETURN |bfVar#82|))))))
- (SETQ |bfVar#81| (CDR |bfVar#81|))))
+ (COND (|bfVar#83| (RETURN |bfVar#83|))))))
+ (SETQ |bfVar#82| (CDR |bfVar#82|))))
(|bfMakeCons| |a|))
(T (CONS 'LIST |a|)))))))
@@ -413,19 +415,19 @@
(COND
((NULL |iters|) (LIST NIL NIL NIL NIL NIL NIL))
(T (SETQ |f| (CAR |iters|)) (SETQ |r| (|bfSep| (CDR |iters|)))
- (LET ((|bfVar#85| NIL) (|bfVar#83| |f|) (|i| NIL)
- (|bfVar#84| |r|) (|j| NIL))
+ (LET ((|bfVar#86| NIL) (|bfVar#84| |f|) (|i| NIL)
+ (|bfVar#85| |r|) (|j| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#83|)
- (PROGN (SETQ |i| (CAR |bfVar#83|)) NIL)
- (ATOM |bfVar#84|)
- (PROGN (SETQ |j| (CAR |bfVar#84|)) NIL))
- (RETURN (NREVERSE |bfVar#85|)))
- (T (SETQ |bfVar#85|
- (CONS (APPEND |i| |j|) |bfVar#85|))))
- (SETQ |bfVar#83| (CDR |bfVar#83|))
- (SETQ |bfVar#84| (CDR |bfVar#84|)))))))))
+ ((OR (ATOM |bfVar#84|)
+ (PROGN (SETQ |i| (CAR |bfVar#84|)) NIL)
+ (ATOM |bfVar#85|)
+ (PROGN (SETQ |j| (CAR |bfVar#85|)) NIL))
+ (RETURN (NREVERSE |bfVar#86|)))
+ (T (SETQ |bfVar#86|
+ (CONS (APPEND |i| |j|) |bfVar#86|))))
+ (SETQ |bfVar#84| (CDR |bfVar#84|))
+ (SETQ |bfVar#85| (CDR |bfVar#85|)))))))))
(DEFUN |bfReduce| (|op| |y|)
(PROG (|it| |ny| |g2| |body| |g1| |g| |init| |a|)
@@ -543,25 +545,25 @@
(COND
(|vars| (SETQ |loop|
(LIST 'LET
- (LET ((|bfVar#88| NIL)
- (|bfVar#86| |vars|) (|v| NIL)
- (|bfVar#87| |inits|) (|i| NIL))
+ (LET ((|bfVar#89| NIL)
+ (|bfVar#87| |vars|) (|v| NIL)
+ (|bfVar#88| |inits|) (|i| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#86|)
+ ((OR (ATOM |bfVar#87|)
(PROGN
- (SETQ |v| (CAR |bfVar#86|))
+ (SETQ |v| (CAR |bfVar#87|))
NIL)
- (ATOM |bfVar#87|)
+ (ATOM |bfVar#88|)
(PROGN
- (SETQ |i| (CAR |bfVar#87|))
+ (SETQ |i| (CAR |bfVar#88|))
NIL))
- (RETURN (NREVERSE |bfVar#88|)))
+ (RETURN (NREVERSE |bfVar#89|)))
(T
- (SETQ |bfVar#88|
- (CONS (LIST |v| |i|) |bfVar#88|))))
- (SETQ |bfVar#86| (CDR |bfVar#86|))
- (SETQ |bfVar#87| (CDR |bfVar#87|))))
+ (SETQ |bfVar#89|
+ (CONS (LIST |v| |i|) |bfVar#89|))))
+ (SETQ |bfVar#87| (CDR |bfVar#87|))
+ (SETQ |bfVar#88| (CDR |bfVar#88|))))
|loop|))))
|loop|))))
@@ -641,6 +643,8 @@
(DEFUN |bfReturnNoName| (|a|) (LIST 'RETURN |a|))
+(DEFUN |bfLeave| (|x|) (LIST '|%Leave| |x|))
+
(DEFUN |bfSUBLIS| (|p| |e|)
(COND
((ATOM |e|) (|bfSUBLIS1| |p| |e|))
@@ -1082,16 +1086,16 @@
(SETQ |ISTMP#1| (CDR |seq|))
(AND (CONSP |ISTMP#1|) (NULL (CDR |ISTMP#1|))
(PROGN (SETQ |seq'| (CAR |ISTMP#1|)) T)))
- (LET ((|bfVar#90| T) (|bfVar#89| |seq'|) (|x| NIL))
+ (LET ((|bfVar#91| T) (|bfVar#90| |seq'|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#89|)
- (PROGN (SETQ |x| (CAR |bfVar#89|)) NIL))
- (RETURN |bfVar#90|))
+ ((OR (ATOM |bfVar#90|)
+ (PROGN (SETQ |x| (CAR |bfVar#90|)) NIL))
+ (RETURN |bfVar#91|))
(T (PROGN
- (SETQ |bfVar#90| (SYMBOLP |x|))
- (COND ((NOT |bfVar#90|) (RETURN NIL))))))
- (SETQ |bfVar#89| (CDR |bfVar#89|)))))
+ (SETQ |bfVar#91| (SYMBOLP |x|))
+ (COND ((NOT |bfVar#91|) (RETURN NIL))))))
+ (SETQ |bfVar#90| (CDR |bfVar#90|)))))
(LIST 'MEMQ |var| |seq|))
((AND (CONSP |var|) (EQ (CAR |var|) 'QUOTE)
(PROGN
@@ -1148,32 +1152,32 @@
((NULL |l|) NIL)
((NULL (CDR |l|)) (CAR |l|))
(T (CONS 'OR
- (LET ((|bfVar#92| NIL) (|bfVar#91| |l|) (|c| NIL))
+ (LET ((|bfVar#93| NIL) (|bfVar#92| |l|) (|c| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#91|)
- (PROGN (SETQ |c| (CAR |bfVar#91|)) NIL))
- (RETURN (NREVERSE |bfVar#92|)))
- (T (SETQ |bfVar#92|
+ ((OR (ATOM |bfVar#92|)
+ (PROGN (SETQ |c| (CAR |bfVar#92|)) NIL))
+ (RETURN (NREVERSE |bfVar#93|)))
+ (T (SETQ |bfVar#93|
(APPEND (REVERSE (|bfFlatten| 'OR |c|))
- |bfVar#92|))))
- (SETQ |bfVar#91| (CDR |bfVar#91|))))))))
+ |bfVar#93|))))
+ (SETQ |bfVar#92| (CDR |bfVar#92|))))))))
(DEFUN |bfAND| (|l|)
(COND
((NULL |l|) T)
((NULL (CDR |l|)) (CAR |l|))
(T (CONS 'AND
- (LET ((|bfVar#94| NIL) (|bfVar#93| |l|) (|c| NIL))
+ (LET ((|bfVar#95| NIL) (|bfVar#94| |l|) (|c| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#93|)
- (PROGN (SETQ |c| (CAR |bfVar#93|)) NIL))
- (RETURN (NREVERSE |bfVar#94|)))
- (T (SETQ |bfVar#94|
+ ((OR (ATOM |bfVar#94|)
+ (PROGN (SETQ |c| (CAR |bfVar#94|)) NIL))
+ (RETURN (NREVERSE |bfVar#95|)))
+ (T (SETQ |bfVar#95|
(APPEND (REVERSE (|bfFlatten| 'AND |c|))
- |bfVar#94|))))
- (SETQ |bfVar#93| (CDR |bfVar#93|))))))))
+ |bfVar#95|))))
+ (SETQ |bfVar#94| (CDR |bfVar#94|))))))))
(DEFUN |defQuoteId| (|x|)
(AND (CONSP |x|) (EQ (CAR |x|) 'QUOTE) (IDENTP (CADR |x|))))
@@ -1219,52 +1223,52 @@
(SETQ |nargl| (CADDR . #0#))
(SETQ |largl| (CADDDR . #0#))
(SETQ |sb|
- (LET ((|bfVar#97| NIL) (|bfVar#95| |nargl|) (|i| NIL)
- (|bfVar#96| |sgargl|) (|j| NIL))
+ (LET ((|bfVar#98| NIL) (|bfVar#96| |nargl|) (|i| NIL)
+ (|bfVar#97| |sgargl|) (|j| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#95|)
- (PROGN (SETQ |i| (CAR |bfVar#95|)) NIL)
- (ATOM |bfVar#96|)
- (PROGN (SETQ |j| (CAR |bfVar#96|)) NIL))
- (RETURN (NREVERSE |bfVar#97|)))
- (T (SETQ |bfVar#97|
- (CONS (CONS |i| |j|) |bfVar#97|))))
- (SETQ |bfVar#95| (CDR |bfVar#95|))
- (SETQ |bfVar#96| (CDR |bfVar#96|)))))
+ ((OR (ATOM |bfVar#96|)
+ (PROGN (SETQ |i| (CAR |bfVar#96|)) NIL)
+ (ATOM |bfVar#97|)
+ (PROGN (SETQ |j| (CAR |bfVar#97|)) NIL))
+ (RETURN (NREVERSE |bfVar#98|)))
+ (T (SETQ |bfVar#98|
+ (CONS (CONS |i| |j|) |bfVar#98|))))
+ (SETQ |bfVar#96| (CDR |bfVar#96|))
+ (SETQ |bfVar#97| (CDR |bfVar#97|)))))
(SETQ |body| (SUBLIS |sb| |body|))
(SETQ |sb2|
- (LET ((|bfVar#100| NIL) (|bfVar#98| |sgargl|) (|i| NIL)
- (|bfVar#99| |largl|) (|j| NIL))
+ (LET ((|bfVar#101| NIL) (|bfVar#99| |sgargl|) (|i| NIL)
+ (|bfVar#100| |largl|) (|j| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#98|)
- (PROGN (SETQ |i| (CAR |bfVar#98|)) NIL)
- (ATOM |bfVar#99|)
- (PROGN (SETQ |j| (CAR |bfVar#99|)) NIL))
- (RETURN (NREVERSE |bfVar#100|)))
- (T (SETQ |bfVar#100|
+ ((OR (ATOM |bfVar#99|)
+ (PROGN (SETQ |i| (CAR |bfVar#99|)) NIL)
+ (ATOM |bfVar#100|)
+ (PROGN (SETQ |j| (CAR |bfVar#100|)) NIL))
+ (RETURN (NREVERSE |bfVar#101|)))
+ (T (SETQ |bfVar#101|
(CONS (LIST 'CONS (LIST 'QUOTE |i|) |j|)
- |bfVar#100|))))
- (SETQ |bfVar#98| (CDR |bfVar#98|))
- (SETQ |bfVar#99| (CDR |bfVar#99|)))))
+ |bfVar#101|))))
+ (SETQ |bfVar#99| (CDR |bfVar#99|))
+ (SETQ |bfVar#100| (CDR |bfVar#100|)))))
(SETQ |body|
(LIST 'SUBLIS (CONS 'LIST |sb2|) (LIST 'QUOTE |body|)))
(SETQ |lamex| (LIST 'MLAMBDA |gargl| |body|))
(SETQ |def| (LIST |op| |lamex|))
(CONS (|shoeComp| |def|)
- (LET ((|bfVar#102| NIL) (|bfVar#101| |$wheredefs|)
+ (LET ((|bfVar#103| NIL) (|bfVar#102| |$wheredefs|)
(|d| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#101|)
- (PROGN (SETQ |d| (CAR |bfVar#101|)) NIL))
- (RETURN (NREVERSE |bfVar#102|)))
- (T (SETQ |bfVar#102|
+ ((OR (ATOM |bfVar#102|)
+ (PROGN (SETQ |d| (CAR |bfVar#102|)) NIL))
+ (RETURN (NREVERSE |bfVar#103|)))
+ (T (SETQ |bfVar#103|
(APPEND (REVERSE
(|shoeComps| (|bfDef1| |d|)))
- |bfVar#102|))))
- (SETQ |bfVar#101| (CDR |bfVar#101|)))))))))
+ |bfVar#103|))))
+ (SETQ |bfVar#102| (CDR |bfVar#102|)))))))))
(DEFUN |bfGargl| (|argl|)
(PROG (|f| |d| |c| |b| |a| |LETTMP#1|)
@@ -1284,13 +1288,13 @@
(LIST (CONS |f| |a|) (CONS |f| |b|)
(CONS (CAR |argl|) |c|) (CONS |f| |d|)))))))))
-(DEFUN |bfDef1| (|bfVar#103|)
+(DEFUN |bfDef1| (|bfVar#104|)
(PROG (|arglp| |control| |quotes| |LETTMP#1| |argl| |body| |args|
|op|)
(RETURN
(PROGN
- (SETQ |op| (CAR |bfVar#103|))
- (SETQ |args| (CADR . #0=(|bfVar#103|)))
+ (SETQ |op| (CAR |bfVar#104|))
+ (SETQ |args| (CADR . #0=(|bfVar#104|)))
(SETQ |body| (CADDR . #0#))
(SETQ |argl|
(COND
@@ -1331,30 +1335,30 @@
(SETQ |arg1| (CADDR . #0#)) (SETQ |body1| (CDDDR . #0#))
(|bfCompHash| |op1| |arg1| |body1|))
(T (|bfTuple|
- (LET ((|bfVar#105| NIL)
- (|bfVar#104|
+ (LET ((|bfVar#106| NIL)
+ (|bfVar#105|
(CONS (LIST |op| |args| |body|) |$wheredefs|))
(|d| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#104|)
- (PROGN (SETQ |d| (CAR |bfVar#104|)) NIL))
- (RETURN (NREVERSE |bfVar#105|)))
- (T (SETQ |bfVar#105|
+ ((OR (ATOM |bfVar#105|)
+ (PROGN (SETQ |d| (CAR |bfVar#105|)) NIL))
+ (RETURN (NREVERSE |bfVar#106|)))
+ (T (SETQ |bfVar#106|
(APPEND (REVERSE
(|shoeComps| (|bfDef1| |d|)))
- |bfVar#105|))))
- (SETQ |bfVar#104| (CDR |bfVar#104|))))))))))
+ |bfVar#106|))))
+ (SETQ |bfVar#105| (CDR |bfVar#105|))))))))))
(DEFUN |shoeComps| (|x|)
- (LET ((|bfVar#107| NIL) (|bfVar#106| |x|) (|def| NIL))
+ (LET ((|bfVar#108| NIL) (|bfVar#107| |x|) (|def| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#106|)
- (PROGN (SETQ |def| (CAR |bfVar#106|)) NIL))
- (RETURN (NREVERSE |bfVar#107|)))
- (T (SETQ |bfVar#107| (CONS (|shoeComp| |def|) |bfVar#107|))))
- (SETQ |bfVar#106| (CDR |bfVar#106|)))))
+ ((OR (ATOM |bfVar#107|)
+ (PROGN (SETQ |def| (CAR |bfVar#107|)) NIL))
+ (RETURN (NREVERSE |bfVar#108|)))
+ (T (SETQ |bfVar#108| (CONS (|shoeComp| |def|) |bfVar#108|))))
+ (SETQ |bfVar#107| (CDR |bfVar#107|)))))
(DEFUN |shoeComp| (|x|)
(PROG (|a|)
@@ -1496,16 +1500,16 @@
(COND
((MEMQ |op| '(RETURN RETURN-FROM)) T)
((MEMQ |op| '(LET PROG LOOP BLOCK DECLARE LAMBDA)) NIL)
- ((LET ((|bfVar#109| NIL) (|bfVar#108| |body|) (|t| NIL))
+ ((LET ((|bfVar#110| NIL) (|bfVar#109| |body|) (|t| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#108|)
- (PROGN (SETQ |t| (CAR |bfVar#108|)) NIL))
- (RETURN |bfVar#109|))
+ ((OR (ATOM |bfVar#109|)
+ (PROGN (SETQ |t| (CAR |bfVar#109|)) NIL))
+ (RETURN |bfVar#110|))
(T (PROGN
- (SETQ |bfVar#109| (|needsPROG| |t|))
- (COND (|bfVar#109| (RETURN |bfVar#109|))))))
- (SETQ |bfVar#108| (CDR |bfVar#108|))))
+ (SETQ |bfVar#110| (|needsPROG| |t|))
+ (COND (|bfVar#110| (RETURN |bfVar#110|))))))
+ (SETQ |bfVar#109| (CDR |bfVar#109|))))
T)
(T NIL)))))))
@@ -1598,11 +1602,11 @@
(RPLACA (CDR |x|) (CADR |l|)))))
((EQ U '|%Leave|) (RPLACA |x| 'RETURN))
((MEMQ U '(PROG LAMBDA)) (SETQ |newbindings| NIL)
- (LET ((|bfVar#110| (CADR |x|)) (|y| NIL))
+ (LET ((|bfVar#111| (CADR |x|)) (|y| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#110|)
- (PROGN (SETQ |y| (CAR |bfVar#110|)) NIL))
+ ((OR (ATOM |bfVar#111|)
+ (PROGN (SETQ |y| (CAR |bfVar#111|)) NIL))
(RETURN NIL))
(T (COND
((NOT (MEMQ |y| |$locVars|))
@@ -1611,22 +1615,22 @@
(SETQ |$locVars| (CONS |y| |$locVars|))
(SETQ |newbindings|
(CONS |y| |newbindings|))))))))
- (SETQ |bfVar#110| (CDR |bfVar#110|))))
+ (SETQ |bfVar#111| (CDR |bfVar#111|))))
(SETQ |res| (|shoeCompTran1| (CDDR |x|)))
(SETQ |$locVars|
- (LET ((|bfVar#112| NIL) (|bfVar#111| |$locVars|)
+ (LET ((|bfVar#113| NIL) (|bfVar#112| |$locVars|)
(|y| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#111|)
+ ((OR (ATOM |bfVar#112|)
(PROGN
- (SETQ |y| (CAR |bfVar#111|))
+ (SETQ |y| (CAR |bfVar#112|))
NIL))
- (RETURN (NREVERSE |bfVar#112|)))
+ (RETURN (NREVERSE |bfVar#113|)))
(T (AND (NOT (MEMQ |y| |newbindings|))
- (SETQ |bfVar#112|
- (CONS |y| |bfVar#112|)))))
- (SETQ |bfVar#111| (CDR |bfVar#111|))))))
+ (SETQ |bfVar#113|
+ (CONS |y| |bfVar#113|)))))
+ (SETQ |bfVar#112| (CDR |bfVar#112|))))))
(T (|shoeCompTran1| (CAR |x|))
(|shoeCompTran1| (CDR |x|)))))))))
@@ -1713,13 +1717,13 @@
(RETURN
(PROGN
(SETQ |a|
- (LET ((|bfVar#113| NIL) (|c| |l|))
+ (LET ((|bfVar#114| NIL) (|c| |l|))
(LOOP
(COND
- ((ATOM |c|) (RETURN (NREVERSE |bfVar#113|)))
- (T (SETQ |bfVar#113|
+ ((ATOM |c|) (RETURN (NREVERSE |bfVar#114|)))
+ (T (SETQ |bfVar#114|
(APPEND (REVERSE (|bfFlattenSeq| |c|))
- |bfVar#113|))))
+ |bfVar#114|))))
(SETQ |c| (CDR |c|)))))
(COND
((NULL |a|) NIL)
@@ -1737,17 +1741,17 @@
((AND (CONSP |f|) (EQ (CAR |f|) 'PROGN))
(COND
((CDR |x|)
- (LET ((|bfVar#115| NIL) (|bfVar#114| (CDR |f|))
+ (LET ((|bfVar#116| NIL) (|bfVar#115| (CDR |f|))
(|i| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#114|)
- (PROGN (SETQ |i| (CAR |bfVar#114|)) NIL))
- (RETURN (NREVERSE |bfVar#115|)))
+ ((OR (ATOM |bfVar#115|)
+ (PROGN (SETQ |i| (CAR |bfVar#115|)) NIL))
+ (RETURN (NREVERSE |bfVar#116|)))
(T (AND (NOT (ATOM |i|))
- (SETQ |bfVar#115|
- (CONS |i| |bfVar#115|)))))
- (SETQ |bfVar#114| (CDR |bfVar#114|)))))
+ (SETQ |bfVar#116|
+ (CONS |i| |bfVar#116|)))))
+ (SETQ |bfVar#115| (CDR |bfVar#115|)))))
(T (CDR |f|))))
(T (LIST |f|))))))))
@@ -1796,11 +1800,11 @@
(COND
((NULL |l|) NIL)
(T (SETQ |transform|
- (LET ((|bfVar#117| NIL) (|bfVar#116| |l|) (|x| NIL))
+ (LET ((|bfVar#118| NIL) (|bfVar#117| |l|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#116|)
- (PROGN (SETQ |x| (CAR |bfVar#116|)) NIL)
+ ((OR (ATOM |bfVar#117|)
+ (PROGN (SETQ |x| (CAR |bfVar#117|)) NIL)
(NOT (AND (CONSP |x|) (EQ (CAR |x|) 'COND)
(PROGN
(SETQ |ISTMP#1| (CDR |x|))
@@ -1834,11 +1838,11 @@
(SETQ |b|
(CAR |ISTMP#5|))
T))))))))))))))
- (RETURN (NREVERSE |bfVar#117|)))
- (T (SETQ |bfVar#117|
+ (RETURN (NREVERSE |bfVar#118|)))
+ (T (SETQ |bfVar#118|
(CONS (|bfAlternative| |a| |b|)
- |bfVar#117|))))
- (SETQ |bfVar#116| (CDR |bfVar#116|)))))
+ |bfVar#118|))))
+ (SETQ |bfVar#117| (CDR |bfVar#117|)))))
(SETQ |no| (LENGTH |transform|))
(SETQ |before| (|bfTake| |no| |l|))
(SETQ |aft| (|bfDrop| |no| |l|))
@@ -1870,17 +1874,17 @@
(SETQ |defs| (CADR . #0=(|LETTMP#1|)))
(SETQ |nondefs| (CADDR . #0#))
(SETQ |a|
- (LET ((|bfVar#119| NIL) (|bfVar#118| |defs|) (|d| NIL))
+ (LET ((|bfVar#120| NIL) (|bfVar#119| |defs|) (|d| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#118|)
- (PROGN (SETQ |d| (CAR |bfVar#118|)) NIL))
- (RETURN (NREVERSE |bfVar#119|)))
- (T (SETQ |bfVar#119|
+ ((OR (ATOM |bfVar#119|)
+ (PROGN (SETQ |d| (CAR |bfVar#119|)) NIL))
+ (RETURN (NREVERSE |bfVar#120|)))
+ (T (SETQ |bfVar#120|
(CONS (LIST (CAR |d|) (CADR |d|)
(|bfSUBLIS| |opassoc| (CADDR |d|)))
- |bfVar#119|))))
- (SETQ |bfVar#118| (CDR |bfVar#118|)))))
+ |bfVar#120|))))
+ (SETQ |bfVar#119| (CDR |bfVar#119|)))))
(SETQ |$wheredefs| (APPEND |a| |$wheredefs|))
(|bfMKPROGN|
(|bfSUBLIS| |opassoc| (NCONC |nondefs| (LIST |expr|))))))))
@@ -1964,16 +1968,16 @@
((AND (CONSP |x|) (NULL (CDR |x|))) (SETQ |f| (CAR |x|))
(LIST 'DEFCONSTANT |f| (LIST 'LIST (LIST 'QUOTE |f|))))
(T (SETQ |a|
- (LET ((|bfVar#121| NIL) (|bfVar#120| (CDR |x|))
+ (LET ((|bfVar#122| NIL) (|bfVar#121| (CDR |x|))
(|i| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#120|)
- (PROGN (SETQ |i| (CAR |bfVar#120|)) NIL))
- (RETURN (NREVERSE |bfVar#121|)))
- (T (SETQ |bfVar#121|
- (CONS (|bfGenSymbol|) |bfVar#121|))))
- (SETQ |bfVar#120| (CDR |bfVar#120|)))))
+ ((OR (ATOM |bfVar#121|)
+ (PROGN (SETQ |i| (CAR |bfVar#121|)) NIL))
+ (RETURN (NREVERSE |bfVar#122|)))
+ (T (SETQ |bfVar#122|
+ (CONS (|bfGenSymbol|) |bfVar#122|))))
+ (SETQ |bfVar#121| (CDR |bfVar#121|)))))
(LIST 'DEFUN (CAR |x|) |a|
(LIST 'CONS (LIST 'QUOTE (CAR |x|)) (CONS 'LIST |a|))))))))
@@ -2000,21 +2004,21 @@
(DEFUN |bfCaseItems| (|g| |x|)
(PROG (|j| |ISTMP#1| |i|)
(RETURN
- (LET ((|bfVar#124| NIL) (|bfVar#123| |x|) (|bfVar#122| NIL))
+ (LET ((|bfVar#125| NIL) (|bfVar#124| |x|) (|bfVar#123| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#123|)
- (PROGN (SETQ |bfVar#122| (CAR |bfVar#123|)) NIL))
- (RETURN (NREVERSE |bfVar#124|)))
- (T (AND (CONSP |bfVar#122|)
+ ((OR (ATOM |bfVar#124|)
+ (PROGN (SETQ |bfVar#123| (CAR |bfVar#124|)) NIL))
+ (RETURN (NREVERSE |bfVar#125|)))
+ (T (AND (CONSP |bfVar#123|)
(PROGN
- (SETQ |i| (CAR |bfVar#122|))
- (SETQ |ISTMP#1| (CDR |bfVar#122|))
+ (SETQ |i| (CAR |bfVar#123|))
+ (SETQ |ISTMP#1| (CDR |bfVar#123|))
(AND (CONSP |ISTMP#1|) (NULL (CDR |ISTMP#1|))
(PROGN (SETQ |j| (CAR |ISTMP#1|)) T)))
- (SETQ |bfVar#124|
- (CONS (|bfCI| |g| |i| |j|) |bfVar#124|)))))
- (SETQ |bfVar#123| (CDR |bfVar#123|)))))))
+ (SETQ |bfVar#125|
+ (CONS (|bfCI| |g| |i| |j|) |bfVar#125|)))))
+ (SETQ |bfVar#124| (CDR |bfVar#124|)))))))
(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing|) |%List|) |bfCI|))
@@ -2026,19 +2030,19 @@
(COND
((NULL |a|) (LIST (CAR |x|) |y|))
(T (SETQ |b|
- (LET ((|bfVar#126| NIL) (|bfVar#125| |a|) (|i| NIL)
+ (LET ((|bfVar#127| NIL) (|bfVar#126| |a|) (|i| NIL)
(|j| 1))
(LOOP
(COND
- ((OR (ATOM |bfVar#125|)
- (PROGN (SETQ |i| (CAR |bfVar#125|)) NIL))
- (RETURN (NREVERSE |bfVar#126|)))
+ ((OR (ATOM |bfVar#126|)
+ (PROGN (SETQ |i| (CAR |bfVar#126|)) NIL))
+ (RETURN (NREVERSE |bfVar#127|)))
(T (AND (NOT (EQ |i| 'DOT))
- (SETQ |bfVar#126|
+ (SETQ |bfVar#127|
(CONS
(LIST |i| (|bfCARCDR| |j| |g|))
- |bfVar#126|)))))
- (SETQ |bfVar#125| (CDR |bfVar#125|))
+ |bfVar#127|)))))
+ (SETQ |bfVar#126| (CDR |bfVar#126|))
(SETQ |j| (+ |j| 1)))))
(COND
((NULL |b|) (LIST (CAR |x|) |y|))
@@ -2059,10 +2063,10 @@
(DEFUN |bfTry| (|e| |cs|)
(COND
((NULL |cs|) |e|)
- (T (LET ((|bfVar#127| (CAR |cs|)))
- (CASE (CAR |bfVar#127|)
+ (T (LET ((|bfVar#128| (CAR |cs|)))
+ (CASE (CAR |bfVar#128|)
(|%Catch|
- (LET ((|tag| (CADR |bfVar#127|)))
+ (LET ((|tag| (CADR |bfVar#128|)))
(COND
((ATOM |tag|)
(|bfTry| (LIST 'CATCH (LIST 'QUOTE |tag|) |e|)
@@ -2082,16 +2086,16 @@
((ATOM |form|)
(COND ((MEMBER |form| |params|) |form|) (T (|quote| |form|))))
(T (CONS 'LIST
- (LET ((|bfVar#129| NIL) (|bfVar#128| |form|) (|t| NIL))
+ (LET ((|bfVar#130| NIL) (|bfVar#129| |form|) (|t| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#128|)
- (PROGN (SETQ |t| (CAR |bfVar#128|)) NIL))
- (RETURN (NREVERSE |bfVar#129|)))
- (T (SETQ |bfVar#129|
+ ((OR (ATOM |bfVar#129|)
+ (PROGN (SETQ |t| (CAR |bfVar#129|)) NIL))
+ (RETURN (NREVERSE |bfVar#130|)))
+ (T (SETQ |bfVar#130|
(CONS (|backquote| |t| |params|)
- |bfVar#129|))))
- (SETQ |bfVar#128| (CDR |bfVar#128|))))))))
+ |bfVar#130|))))
+ (SETQ |bfVar#129| (CDR |bfVar#129|))))))))
(DEFUN |genTypeAlias| (|head| |body|)
(PROG (|args| |op|)
@@ -2291,47 +2295,47 @@
(RETURN
(PROGN
(SETQ |argtypes|
- (LET ((|bfVar#131| NIL) (|bfVar#130| |s|) (|x| NIL))
+ (LET ((|bfVar#132| NIL) (|bfVar#131| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#130|)
- (PROGN (SETQ |x| (CAR |bfVar#130|)) NIL))
- (RETURN (NREVERSE |bfVar#131|)))
- (T (SETQ |bfVar#131|
+ ((OR (ATOM |bfVar#131|)
+ (PROGN (SETQ |x| (CAR |bfVar#131|)) NIL))
+ (RETURN (NREVERSE |bfVar#132|)))
+ (T (SETQ |bfVar#132|
(CONS (|nativeArgumentType| |x|)
- |bfVar#131|))))
- (SETQ |bfVar#130| (CDR |bfVar#130|)))))
+ |bfVar#132|))))
+ (SETQ |bfVar#131| (CDR |bfVar#131|)))))
(SETQ |rettype| (|nativeReturnType| |t|))
(COND
- ((LET ((|bfVar#133| T) (|bfVar#132| (CONS |t| |s|))
+ ((LET ((|bfVar#134| T) (|bfVar#133| (CONS |t| |s|))
(|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#132|)
- (PROGN (SETQ |x| (CAR |bfVar#132|)) NIL))
- (RETURN |bfVar#133|))
+ ((OR (ATOM |bfVar#133|)
+ (PROGN (SETQ |x| (CAR |bfVar#133|)) NIL))
+ (RETURN |bfVar#134|))
(T (PROGN
- (SETQ |bfVar#133| (|isSimpleNativeType| |x|))
- (COND ((NOT |bfVar#133|) (RETURN NIL))))))
- (SETQ |bfVar#132| (CDR |bfVar#132|))))
+ (SETQ |bfVar#134| (|isSimpleNativeType| |x|))
+ (COND ((NOT |bfVar#134|) (RETURN NIL))))))
+ (SETQ |bfVar#133| (CDR |bfVar#133|))))
(LIST (LIST 'DEFENTRY |op| |argtypes|
(LIST |rettype| (SYMBOL-NAME |op'|)))))
(T (SETQ |cop| (CONCAT (SYMBOL-NAME |op'|) "_stub"))
(SETQ |cargs|
- (LET ((|bfVar#140| NIL)
- (|bfVar#139| (- (LENGTH |s|) 1)) (|i| 0))
+ (LET ((|bfVar#141| NIL)
+ (|bfVar#140| (- (LENGTH |s|) 1)) (|i| 0))
(LOOP
(COND
- ((> |i| |bfVar#139|)
- (RETURN (NREVERSE |bfVar#140|)))
- (T (SETQ |bfVar#140|
+ ((> |i| |bfVar#140|)
+ (RETURN (NREVERSE |bfVar#141|)))
+ (T (SETQ |bfVar#141|
(CONS (|genGCLnativeTranslation,mkCArgName|
|i|)
- |bfVar#140|))))
+ |bfVar#141|))))
(SETQ |i| (+ |i| 1)))))
(SETQ |ccode|
- (LET ((|bfVar#136| "")
- (|bfVar#138|
+ (LET ((|bfVar#137| "")
+ (|bfVar#139|
(CONS (|genGCLnativeTranslation,gclTypeInC|
|t|)
(CONS " "
@@ -2339,20 +2343,20 @@
(CONS "("
(APPEND
(LET
- ((|bfVar#134| NIL) (|x| |s|)
+ ((|bfVar#135| NIL) (|x| |s|)
(|a| |cargs|))
(LOOP
(COND
((OR (ATOM |x|)
(ATOM |a|))
(RETURN
- (NREVERSE |bfVar#134|)))
+ (NREVERSE |bfVar#135|)))
(T
- (SETQ |bfVar#134|
+ (SETQ |bfVar#135|
(CONS
(|genGCLnativeTranslation,cparm|
|x| |a|)
- |bfVar#134|))))
+ |bfVar#135|))))
(SETQ |x| (CDR |x|))
(SETQ |a| (CDR |a|))))
(CONS ") { "
@@ -2365,7 +2369,7 @@
(CONS "("
(APPEND
(LET
- ((|bfVar#135| NIL)
+ ((|bfVar#136| NIL)
(|x| |s|) (|a| |cargs|))
(LOOP
(COND
@@ -2373,27 +2377,27 @@
(ATOM |a|))
(RETURN
(NREVERSE
- |bfVar#135|)))
+ |bfVar#136|)))
(T
- (SETQ |bfVar#135|
+ (SETQ |bfVar#136|
(CONS
(|genGCLnativeTranslation,gclArgsInC|
|x| |a|)
- |bfVar#135|))))
+ |bfVar#136|))))
(SETQ |x| (CDR |x|))
(SETQ |a| (CDR |a|))))
(CONS "); }" NIL))))))))))))
- (|bfVar#137| NIL))
+ (|bfVar#138| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#138|)
+ ((OR (ATOM |bfVar#139|)
(PROGN
- (SETQ |bfVar#137| (CAR |bfVar#138|))
+ (SETQ |bfVar#138| (CAR |bfVar#139|))
NIL))
- (RETURN |bfVar#136|))
- (T (SETQ |bfVar#136|
- (CONCAT |bfVar#136| |bfVar#137|))))
- (SETQ |bfVar#138| (CDR |bfVar#138|)))))
+ (RETURN |bfVar#137|))
+ (T (SETQ |bfVar#137|
+ (CONCAT |bfVar#137| |bfVar#138|))))
+ (SETQ |bfVar#139| (CDR |bfVar#139|)))))
(LIST (LIST 'CLINES |ccode|)
(LIST 'DEFENTRY |op| |argtypes|
(LIST |rettype| |cop|)))))))))
@@ -2453,17 +2457,17 @@
(PROGN
(SETQ |args| NIL)
(SETQ |argtypes| NIL)
- (LET ((|bfVar#141| |s|) (|x| NIL))
+ (LET ((|bfVar#142| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#141|)
- (PROGN (SETQ |x| (CAR |bfVar#141|)) NIL))
+ ((OR (ATOM |bfVar#142|)
+ (PROGN (SETQ |x| (CAR |bfVar#142|)) NIL))
(RETURN NIL))
(T (PROGN
(SETQ |argtypes|
(CONS (|nativeArgumentType| |x|) |argtypes|))
(SETQ |args| (CONS (GENSYM) |args|)))))
- (SETQ |bfVar#141| (CDR |bfVar#141|))))
+ (SETQ |bfVar#142| (CDR |bfVar#142|))))
(SETQ |args| (REVERSE |args|))
(SETQ |rettype| (|nativeReturnType| |t|))
(LIST (LIST 'DEFUN |op| |args|
@@ -2474,39 +2478,39 @@
:ONE-LINER T)))))))
(DEFUN |genECLnativeTranslation,callTemplate| (|op| |n| |s|)
- (LET ((|bfVar#145| "")
- (|bfVar#147|
+ (LET ((|bfVar#146| "")
+ (|bfVar#148|
(CONS (SYMBOL-NAME |op|)
(CONS "("
- (APPEND (LET ((|bfVar#144| NIL)
- (|bfVar#142| (- |n| 1)) (|i| 0)
- (|bfVar#143| |s|) (|x| NIL))
+ (APPEND (LET ((|bfVar#145| NIL)
+ (|bfVar#143| (- |n| 1)) (|i| 0)
+ (|bfVar#144| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (> |i| |bfVar#142|)
- (ATOM |bfVar#143|)
+ ((OR (> |i| |bfVar#143|)
+ (ATOM |bfVar#144|)
(PROGN
- (SETQ |x| (CAR |bfVar#143|))
+ (SETQ |x| (CAR |bfVar#144|))
NIL))
- (RETURN (NREVERSE |bfVar#144|)))
+ (RETURN (NREVERSE |bfVar#145|)))
(T
- (SETQ |bfVar#144|
+ (SETQ |bfVar#145|
(CONS
(|genECLnativeTranslation,sharpArg|
|i| |x|)
- |bfVar#144|))))
+ |bfVar#145|))))
(SETQ |i| (+ |i| 1))
- (SETQ |bfVar#143|
- (CDR |bfVar#143|))))
+ (SETQ |bfVar#144|
+ (CDR |bfVar#144|))))
(CONS ")" NIL)))))
- (|bfVar#146| NIL))
+ (|bfVar#147| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#147|)
- (PROGN (SETQ |bfVar#146| (CAR |bfVar#147|)) NIL))
- (RETURN |bfVar#145|))
- (T (SETQ |bfVar#145| (CONCAT |bfVar#145| |bfVar#146|))))
- (SETQ |bfVar#147| (CDR |bfVar#147|)))))
+ ((OR (ATOM |bfVar#148|)
+ (PROGN (SETQ |bfVar#147| (CAR |bfVar#148|)) NIL))
+ (RETURN |bfVar#146|))
+ (T (SETQ |bfVar#146| (CONCAT |bfVar#146| |bfVar#147|))))
+ (SETQ |bfVar#148| (CDR |bfVar#148|)))))
(DEFUN |genECLnativeTranslation,sharpArg| (|i| |x|)
(COND
@@ -2546,38 +2550,38 @@
(PROGN
(SETQ |rettype| (|nativeReturnType| |t|))
(SETQ |argtypes|
- (LET ((|bfVar#149| NIL) (|bfVar#148| |s|) (|x| NIL))
+ (LET ((|bfVar#150| NIL) (|bfVar#149| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#148|)
- (PROGN (SETQ |x| (CAR |bfVar#148|)) NIL))
- (RETURN (NREVERSE |bfVar#149|)))
- (T (SETQ |bfVar#149|
+ ((OR (ATOM |bfVar#149|)
+ (PROGN (SETQ |x| (CAR |bfVar#149|)) NIL))
+ (RETURN (NREVERSE |bfVar#150|)))
+ (T (SETQ |bfVar#150|
(CONS (|nativeArgumentType| |x|)
- |bfVar#149|))))
- (SETQ |bfVar#148| (CDR |bfVar#148|)))))
+ |bfVar#150|))))
+ (SETQ |bfVar#149| (CDR |bfVar#149|)))))
(SETQ |n| (INTERN (CONCAT (SYMBOL-NAME |op|) "%clisp-hack")))
(SETQ |parms|
- (LET ((|bfVar#151| NIL) (|bfVar#150| |s|) (|x| NIL))
+ (LET ((|bfVar#152| NIL) (|bfVar#151| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#150|)
- (PROGN (SETQ |x| (CAR |bfVar#150|)) NIL))
- (RETURN (NREVERSE |bfVar#151|)))
- (T (SETQ |bfVar#151|
- (CONS (GENSYM "parm") |bfVar#151|))))
- (SETQ |bfVar#150| (CDR |bfVar#150|)))))
+ ((OR (ATOM |bfVar#151|)
+ (PROGN (SETQ |x| (CAR |bfVar#151|)) NIL))
+ (RETURN (NREVERSE |bfVar#152|)))
+ (T (SETQ |bfVar#152|
+ (CONS (GENSYM "parm") |bfVar#152|))))
+ (SETQ |bfVar#151| (CDR |bfVar#151|)))))
(SETQ |unstableArgs| NIL)
- (LET ((|bfVar#152| |parms|) (|p| NIL) (|bfVar#153| |s|)
- (|x| NIL) (|bfVar#154| |argtypes|) (|y| NIL))
+ (LET ((|bfVar#153| |parms|) (|p| NIL) (|bfVar#154| |s|)
+ (|x| NIL) (|bfVar#155| |argtypes|) (|y| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#152|)
- (PROGN (SETQ |p| (CAR |bfVar#152|)) NIL)
- (ATOM |bfVar#153|)
- (PROGN (SETQ |x| (CAR |bfVar#153|)) NIL)
+ ((OR (ATOM |bfVar#153|)
+ (PROGN (SETQ |p| (CAR |bfVar#153|)) NIL)
(ATOM |bfVar#154|)
- (PROGN (SETQ |y| (CAR |bfVar#154|)) NIL))
+ (PROGN (SETQ |x| (CAR |bfVar#154|)) NIL)
+ (ATOM |bfVar#155|)
+ (PROGN (SETQ |y| (CAR |bfVar#155|)) NIL))
(RETURN NIL))
(T (COND
((|needsStableReference?| |x|)
@@ -2585,31 +2589,31 @@
(SETQ |unstableArgs|
(CONS (CONS |p| (CONS |x| |y|))
|unstableArgs|)))))))
- (SETQ |bfVar#152| (CDR |bfVar#152|))
(SETQ |bfVar#153| (CDR |bfVar#153|))
- (SETQ |bfVar#154| (CDR |bfVar#154|))))
+ (SETQ |bfVar#154| (CDR |bfVar#154|))
+ (SETQ |bfVar#155| (CDR |bfVar#155|))))
(SETQ |foreignDecl|
(LIST (|bfColonColon| 'FFI 'DEF-CALL-OUT) |n|
(LIST :NAME (SYMBOL-NAME |op'|))
(CONS :ARGUMENTS
- (LET ((|bfVar#157| NIL)
- (|bfVar#155| |argtypes|) (|x| NIL)
- (|bfVar#156| |parms|) (|a| NIL))
+ (LET ((|bfVar#158| NIL)
+ (|bfVar#156| |argtypes|) (|x| NIL)
+ (|bfVar#157| |parms|) (|a| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#155|)
+ ((OR (ATOM |bfVar#156|)
(PROGN
- (SETQ |x| (CAR |bfVar#155|))
+ (SETQ |x| (CAR |bfVar#156|))
NIL)
- (ATOM |bfVar#156|)
+ (ATOM |bfVar#157|)
(PROGN
- (SETQ |a| (CAR |bfVar#156|))
+ (SETQ |a| (CAR |bfVar#157|))
NIL))
- (RETURN (NREVERSE |bfVar#157|)))
- (T (SETQ |bfVar#157|
- (CONS (LIST |a| |x|) |bfVar#157|))))
- (SETQ |bfVar#155| (CDR |bfVar#155|))
- (SETQ |bfVar#156| (CDR |bfVar#156|)))))
+ (RETURN (NREVERSE |bfVar#158|)))
+ (T (SETQ |bfVar#158|
+ (CONS (LIST |a| |x|) |bfVar#158|))))
+ (SETQ |bfVar#156| (CDR |bfVar#156|))
+ (SETQ |bfVar#157| (CDR |bfVar#157|)))))
(LIST :RETURN-TYPE |rettype|)
(LIST :LANGUAGE :STDC)))
(SETQ |forwardingFun|
@@ -2617,66 +2621,66 @@
((NULL |unstableArgs|)
(LIST 'DEFUN |op| |parms| (CONS |n| |parms|)))
(T (SETQ |localPairs|
- (LET ((|bfVar#160| NIL)
- (|bfVar#159| |unstableArgs|)
- (|bfVar#158| NIL))
+ (LET ((|bfVar#161| NIL)
+ (|bfVar#160| |unstableArgs|)
+ (|bfVar#159| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#159|)
+ ((OR (ATOM |bfVar#160|)
(PROGN
- (SETQ |bfVar#158|
- (CAR |bfVar#159|))
+ (SETQ |bfVar#159|
+ (CAR |bfVar#160|))
NIL))
- (RETURN (NREVERSE |bfVar#160|)))
- (T (AND (CONSP |bfVar#158|)
+ (RETURN (NREVERSE |bfVar#161|)))
+ (T (AND (CONSP |bfVar#159|)
(PROGN
- (SETQ |a| (CAR |bfVar#158|))
+ (SETQ |a| (CAR |bfVar#159|))
(SETQ |ISTMP#1|
- (CDR |bfVar#158|))
+ (CDR |bfVar#159|))
(AND (CONSP |ISTMP#1|)
(PROGN
(SETQ |x| (CAR |ISTMP#1|))
(SETQ |y| (CDR |ISTMP#1|))
T)))
- (SETQ |bfVar#160|
+ (SETQ |bfVar#161|
(CONS
(CONS |a|
(CONS |x|
(CONS |y| (GENSYM "loc"))))
- |bfVar#160|)))))
- (SETQ |bfVar#159| (CDR |bfVar#159|)))))
+ |bfVar#161|)))))
+ (SETQ |bfVar#160| (CDR |bfVar#160|)))))
(SETQ |call|
(CONS |n|
- (LET ((|bfVar#162| NIL)
- (|bfVar#161| |parms|) (|p| NIL))
+ (LET ((|bfVar#163| NIL)
+ (|bfVar#162| |parms|) (|p| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#161|)
+ ((OR (ATOM |bfVar#162|)
(PROGN
- (SETQ |p| (CAR |bfVar#161|))
+ (SETQ |p| (CAR |bfVar#162|))
NIL))
- (RETURN (NREVERSE |bfVar#162|)))
+ (RETURN (NREVERSE |bfVar#163|)))
(T
- (SETQ |bfVar#162|
+ (SETQ |bfVar#163|
(CONS
(|genCLISPnativeTranslation,actualArg|
|p| |localPairs|)
- |bfVar#162|))))
- (SETQ |bfVar#161| (CDR |bfVar#161|))))))
+ |bfVar#163|))))
+ (SETQ |bfVar#162| (CDR |bfVar#162|))))))
(SETQ |call|
(PROGN
(SETQ |fixups|
- (LET ((|bfVar#164| NIL)
- (|bfVar#163| |localPairs|)
+ (LET ((|bfVar#165| NIL)
+ (|bfVar#164| |localPairs|)
(|p| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#163|)
+ ((OR (ATOM |bfVar#164|)
(PROGN
- (SETQ |p| (CAR |bfVar#163|))
+ (SETQ |p| (CAR |bfVar#164|))
NIL))
(RETURN
- (NREVERSE |bfVar#164|)))
+ (NREVERSE |bfVar#165|)))
(T
(AND
(NOT
@@ -2684,26 +2688,26 @@
(SETQ |q|
(|genCLISPnativeTranslation,copyBack|
|p|))))
- (SETQ |bfVar#164|
- (CONS |q| |bfVar#164|)))))
- (SETQ |bfVar#163|
- (CDR |bfVar#163|)))))
+ (SETQ |bfVar#165|
+ (CONS |q| |bfVar#165|)))))
+ (SETQ |bfVar#164|
+ (CDR |bfVar#164|)))))
(COND
((NULL |fixups|) (LIST |call|))
(T (LIST (CONS 'PROG1
(CONS |call| |fixups|)))))))
- (LET ((|bfVar#166| |localPairs|) (|bfVar#165| NIL))
+ (LET ((|bfVar#167| |localPairs|) (|bfVar#166| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#166|)
+ ((OR (ATOM |bfVar#167|)
(PROGN
- (SETQ |bfVar#165| (CAR |bfVar#166|))
+ (SETQ |bfVar#166| (CAR |bfVar#167|))
NIL))
(RETURN NIL))
- (T (AND (CONSP |bfVar#165|)
+ (T (AND (CONSP |bfVar#166|)
(PROGN
- (SETQ |p| (CAR |bfVar#165|))
- (SETQ |ISTMP#1| (CDR |bfVar#165|))
+ (SETQ |p| (CAR |bfVar#166|))
+ (SETQ |ISTMP#1| (CDR |bfVar#166|))
(AND (CONSP |ISTMP#1|)
(PROGN
(SETQ |x| (CAR |ISTMP#1|))
@@ -2726,18 +2730,18 @@
|p|)
|p|)
|call|)))))))
- (SETQ |bfVar#166| (CDR |bfVar#166|))))
+ (SETQ |bfVar#167| (CDR |bfVar#167|))))
(CONS 'DEFUN (CONS |op| (CONS |parms| |call|))))))
(SETQ |$foreignsDefsForCLisp|
(CONS |foreignDecl| |$foreignsDefsForCLisp|))
(LIST |forwardingFun|)))))
-(DEFUN |genCLISPnativeTranslation,copyBack| (|bfVar#167|)
+(DEFUN |genCLISPnativeTranslation,copyBack| (|bfVar#168|)
(PROG (|a| |y| |x| |p|)
(RETURN
(PROGN
- (SETQ |p| (CAR |bfVar#167|))
- (SETQ |x| (CADR . #0=(|bfVar#167|)))
+ (SETQ |p| (CAR |bfVar#168|))
+ (SETQ |x| (CADR . #0=(|bfVar#168|)))
(SETQ |y| (CADDR . #0#))
(SETQ |a| (CDDDR . #0#))
(COND
@@ -2761,35 +2765,35 @@
(PROGN
(SETQ |rettype| (|nativeReturnType| |t|))
(SETQ |argtypes|
- (LET ((|bfVar#169| NIL) (|bfVar#168| |s|) (|x| NIL))
+ (LET ((|bfVar#170| NIL) (|bfVar#169| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#168|)
- (PROGN (SETQ |x| (CAR |bfVar#168|)) NIL))
- (RETURN (NREVERSE |bfVar#169|)))
- (T (SETQ |bfVar#169|
+ ((OR (ATOM |bfVar#169|)
+ (PROGN (SETQ |x| (CAR |bfVar#169|)) NIL))
+ (RETURN (NREVERSE |bfVar#170|)))
+ (T (SETQ |bfVar#170|
(CONS (|nativeArgumentType| |x|)
- |bfVar#169|))))
- (SETQ |bfVar#168| (CDR |bfVar#168|)))))
+ |bfVar#170|))))
+ (SETQ |bfVar#169| (CDR |bfVar#169|)))))
(SETQ |args|
- (LET ((|bfVar#171| NIL) (|bfVar#170| |s|) (|x| NIL))
+ (LET ((|bfVar#172| NIL) (|bfVar#171| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#170|)
- (PROGN (SETQ |x| (CAR |bfVar#170|)) NIL))
- (RETURN (NREVERSE |bfVar#171|)))
- (T (SETQ |bfVar#171| (CONS (GENSYM) |bfVar#171|))))
- (SETQ |bfVar#170| (CDR |bfVar#170|)))))
+ ((OR (ATOM |bfVar#171|)
+ (PROGN (SETQ |x| (CAR |bfVar#171|)) NIL))
+ (RETURN (NREVERSE |bfVar#172|)))
+ (T (SETQ |bfVar#172| (CONS (GENSYM) |bfVar#172|))))
+ (SETQ |bfVar#171| (CDR |bfVar#171|)))))
(SETQ |unstableArgs| NIL)
(SETQ |newArgs| NIL)
- (LET ((|bfVar#172| |args|) (|a| NIL) (|bfVar#173| |s|)
+ (LET ((|bfVar#173| |args|) (|a| NIL) (|bfVar#174| |s|)
(|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#172|)
- (PROGN (SETQ |a| (CAR |bfVar#172|)) NIL)
- (ATOM |bfVar#173|)
- (PROGN (SETQ |x| (CAR |bfVar#173|)) NIL))
+ ((OR (ATOM |bfVar#173|)
+ (PROGN (SETQ |a| (CAR |bfVar#173|)) NIL)
+ (ATOM |bfVar#174|)
+ (PROGN (SETQ |x| (CAR |bfVar#174|)) NIL))
(RETURN NIL))
(T (PROGN
(SETQ |newArgs|
@@ -2798,8 +2802,8 @@
(COND
((|needsStableReference?| |x|)
(SETQ |unstableArgs| (CONS |a| |unstableArgs|)))))))
- (SETQ |bfVar#172| (CDR |bfVar#172|))
- (SETQ |bfVar#173| (CDR |bfVar#173|))))
+ (SETQ |bfVar#173| (CDR |bfVar#173|))
+ (SETQ |bfVar#174| (CDR |bfVar#174|))))
(SETQ |op'|
(COND
((|%hasFeature| :WIN32)
@@ -2837,36 +2841,36 @@
(PROGN
(SETQ |rettype| (|nativeReturnType| |t|))
(SETQ |argtypes|
- (LET ((|bfVar#175| NIL) (|bfVar#174| |s|) (|x| NIL))
+ (LET ((|bfVar#176| NIL) (|bfVar#175| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#174|)
- (PROGN (SETQ |x| (CAR |bfVar#174|)) NIL))
- (RETURN (NREVERSE |bfVar#175|)))
- (T (SETQ |bfVar#175|
+ ((OR (ATOM |bfVar#175|)
+ (PROGN (SETQ |x| (CAR |bfVar#175|)) NIL))
+ (RETURN (NREVERSE |bfVar#176|)))
+ (T (SETQ |bfVar#176|
(CONS (|nativeArgumentType| |x|)
- |bfVar#175|))))
- (SETQ |bfVar#174| (CDR |bfVar#174|)))))
+ |bfVar#176|))))
+ (SETQ |bfVar#175| (CDR |bfVar#175|)))))
(SETQ |parms|
- (LET ((|bfVar#177| NIL) (|bfVar#176| |s|) (|x| NIL))
+ (LET ((|bfVar#178| NIL) (|bfVar#177| |s|) (|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#176|)
- (PROGN (SETQ |x| (CAR |bfVar#176|)) NIL))
- (RETURN (NREVERSE |bfVar#177|)))
- (T (SETQ |bfVar#177|
- (CONS (GENSYM "parm") |bfVar#177|))))
- (SETQ |bfVar#176| (CDR |bfVar#176|)))))
+ ((OR (ATOM |bfVar#177|)
+ (PROGN (SETQ |x| (CAR |bfVar#177|)) NIL))
+ (RETURN (NREVERSE |bfVar#178|)))
+ (T (SETQ |bfVar#178|
+ (CONS (GENSYM "parm") |bfVar#178|))))
+ (SETQ |bfVar#177| (CDR |bfVar#177|)))))
(SETQ |strPairs| NIL)
(SETQ |aryPairs| NIL)
- (LET ((|bfVar#178| |parms|) (|p| NIL) (|bfVar#179| |s|)
+ (LET ((|bfVar#179| |parms|) (|p| NIL) (|bfVar#180| |s|)
(|x| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#178|)
- (PROGN (SETQ |p| (CAR |bfVar#178|)) NIL)
- (ATOM |bfVar#179|)
- (PROGN (SETQ |x| (CAR |bfVar#179|)) NIL))
+ ((OR (ATOM |bfVar#179|)
+ (PROGN (SETQ |p| (CAR |bfVar#179|)) NIL)
+ (ATOM |bfVar#180|)
+ (PROGN (SETQ |x| (CAR |bfVar#180|)) NIL))
(RETURN NIL))
(T (COND
((EQ |x| '|string|)
@@ -2888,33 +2892,33 @@
(NULL (CDR |ISTMP#3|)))))))))
(SETQ |aryPairs|
(CONS (CONS |p| (GENSYM "loc")) |aryPairs|))))))
- (SETQ |bfVar#178| (CDR |bfVar#178|))
- (SETQ |bfVar#179| (CDR |bfVar#179|))))
+ (SETQ |bfVar#179| (CDR |bfVar#179|))
+ (SETQ |bfVar#180| (CDR |bfVar#180|))))
(COND
((|%hasFeature| :DARWIN) (SETQ |op'| (CONCAT '_ |op'|))))
(SETQ |call|
(CONS (|bfColonColon| 'CCL 'EXTERNAL-CALL)
(CONS (STRING |op'|)
- (APPEND (LET ((|bfVar#182| NIL)
- (|bfVar#180| |argtypes|)
- (|x| NIL) (|bfVar#181| |parms|)
+ (APPEND (LET ((|bfVar#183| NIL)
+ (|bfVar#181| |argtypes|)
+ (|x| NIL) (|bfVar#182| |parms|)
(|p| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#180|)
+ ((OR (ATOM |bfVar#181|)
(PROGN
(SETQ |x|
- (CAR |bfVar#180|))
+ (CAR |bfVar#181|))
NIL)
- (ATOM |bfVar#181|)
+ (ATOM |bfVar#182|)
(PROGN
(SETQ |p|
- (CAR |bfVar#181|))
+ (CAR |bfVar#182|))
NIL))
(RETURN
- (NREVERSE |bfVar#182|)))
+ (NREVERSE |bfVar#183|)))
(T
- (SETQ |bfVar#182|
+ (SETQ |bfVar#183|
(APPEND
(REVERSE
(LIST |x|
@@ -2926,45 +2930,45 @@
(ASSOC |p| |aryPairs|))
(CDR |p'|))
(T |p|))))
- |bfVar#182|))))
- (SETQ |bfVar#180|
- (CDR |bfVar#180|))
+ |bfVar#183|))))
(SETQ |bfVar#181|
- (CDR |bfVar#181|))))
+ (CDR |bfVar#181|))
+ (SETQ |bfVar#182|
+ (CDR |bfVar#182|))))
(CONS |rettype| NIL)))))
(COND
((EQ |t| '|string|)
(SETQ |call|
(LIST (|bfColonColon| 'CCL 'GET-CSTRING) |call|))))
- (LET ((|bfVar#183| |aryPairs|) (|arg| NIL))
+ (LET ((|bfVar#184| |aryPairs|) (|arg| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#183|)
- (PROGN (SETQ |arg| (CAR |bfVar#183|)) NIL))
+ ((OR (ATOM |bfVar#184|)
+ (PROGN (SETQ |arg| (CAR |bfVar#184|)) NIL))
(RETURN NIL))
(T (SETQ |call|
(LIST (|bfColonColon| 'CCL
'WITH-POINTER-TO-IVECTOR)
(LIST (CDR |arg|) (CAR |arg|)) |call|))))
- (SETQ |bfVar#183| (CDR |bfVar#183|))))
+ (SETQ |bfVar#184| (CDR |bfVar#184|))))
(COND
(|strPairs|
(SETQ |call|
(LIST (|bfColonColon| 'CCL 'WITH-CSTRS)
- (LET ((|bfVar#185| NIL)
- (|bfVar#184| |strPairs|) (|arg| NIL))
+ (LET ((|bfVar#186| NIL)
+ (|bfVar#185| |strPairs|) (|arg| NIL))
(LOOP
(COND
- ((OR (ATOM |bfVar#184|)
+ ((OR (ATOM |bfVar#185|)
(PROGN
- (SETQ |arg| (CAR |bfVar#184|))
+ (SETQ |arg| (CAR |bfVar#185|))
NIL))
- (RETURN (NREVERSE |bfVar#185|)))
- (T (SETQ |bfVar#185|
+ (RETURN (NREVERSE |bfVar#186|)))
+ (T (SETQ |bfVar#186|
(CONS
(LIST (CDR |arg|) (CAR |arg|))
- |bfVar#185|))))
- (SETQ |bfVar#184| (CDR |bfVar#184|))))
+ |bfVar#186|))))
+ (SETQ |bfVar#185| (CDR |bfVar#185|))))
|call|))))
(LIST (LIST 'DEFUN |op| |parms| |call|))))))
diff --git a/src/boot/strap/parser.clisp b/src/boot/strap/parser.clisp
index 89d4bfa6..434e8513 100644
--- a/src/boot/strap/parser.clisp
+++ b/src/boot/strap/parser.clisp
@@ -766,7 +766,7 @@
(DEFUN |bpLeave| ()
(AND (|bpEqKey| 'LEAVE) (OR (|bpLogical|) (|bpTrap|))
- (|bpPush| (|%LeaveAst| (|bpPop1|)))))
+ (|bpPush| (|bfLeave| (|bpPop1|)))))
(DEFUN |bpReturn| ()
(OR (AND (|bpEqKey| 'RETURN) (OR (|bpAssign|) (|bpTrap|))
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-29 13:12:15 +0000