diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-28 02:50:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-28 02:50:09 +0000 |
commit | 0df2bba385eeeaf650b6c13b2f4b10f991929ec8 (patch) | |
tree | a25cbb46723900ee16596552276f8eb608c83918 /src/boot | |
parent | 6a5ae8ebc949855925c5e5763f11601c2f64339e (diff) | |
download | open-axiom-0df2bba385eeeaf650b6c13b2f4b10f991929ec8.tar.gz |
* boot/ast.boot (bfCollect): Use bfDoCollect.
(bfListReduce): Remove.
Diffstat (limited to 'src/boot')
-rw-r--r-- | src/boot/ast.boot | 12 | ||||
-rw-r--r-- | src/boot/strap/ast.clisp | 1012 |
2 files changed, 522 insertions, 502 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 1e45f7f2..bc444a4e 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -370,18 +370,12 @@ bfDTuple x == bfCollect(y,itl) == y is ["COLON",a] => a is ['CONS,:.] or a is ['LIST,:.] => - bfDoCollect(a,itl,'lastNode,nil) - bfListReduce('APPEND,['reverse,a],itl) + bfDoCollect(a,itl,'lastNode,'skipNil) + bfDoCollect(['copyList,a],itl,'lastNode,'skipNil) y is ["TUPLE",:.] => - bfListReduce('APPEND,['reverse,bfConstruct y],itl) + bfDoCollect(bfConstruct y,itl,'lastNode,'skipNil) bfDoCollect(['CONS,y,'NIL],itl,'CDR,nil) -bfListReduce(op,y,itl)== - g := bfGenSymbol() - body := ['SETQ,g,[op,y,g]] - extrait := [[[g],[nil],[],[],[],[['reverse!,g]]]] - bfLp2(extrait,itl,body) - bfMakeCollectInsn(expr,prev,head,adv) == firstTime := bfMKPROGN [['SETQ,head,expr],['SETQ,prev,(adv is 'CDR => head; [adv,head])]] diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp index 548b28da..c4249a0d 100644 --- a/src/boot/strap/ast.clisp +++ b/src/boot/strap/ast.clisp @@ -507,24 +507,14 @@ (COND ((OR (AND (CONSP |a|) (EQ (CAR |a|) 'CONS)) (AND (CONSP |a|) (EQ (CAR |a|) 'LIST))) - (|bfDoCollect| |a| |itl| '|lastNode| NIL)) - (T (|bfListReduce| 'APPEND (LIST '|reverse| |a|) |itl|)))) + (|bfDoCollect| |a| |itl| '|lastNode| '|skipNil|)) + (T (|bfDoCollect| (LIST '|copyList| |a|) |itl| '|lastNode| + '|skipNil|)))) ((AND (CONSP |y|) (EQ (CAR |y|) 'TUPLE)) - (|bfListReduce| 'APPEND (LIST '|reverse| (|bfConstruct| |y|)) - |itl|)) + (|bfDoCollect| (|bfConstruct| |y|) |itl| '|lastNode| + '|skipNil|)) (T (|bfDoCollect| (LIST 'CONS |y| 'NIL) |itl| 'CDR NIL)))))) -(DEFUN |bfListReduce| (|op| |y| |itl|) - (PROG (|extrait| |body| |g|) - (RETURN - (PROGN - (SETQ |g| (|bfGenSymbol|)) - (SETQ |body| (LIST 'SETQ |g| (LIST |op| |y| |g|))) - (SETQ |extrait| - (LIST (LIST (LIST |g|) (LIST NIL) NIL NIL NIL - (LIST (LIST '|reverse!| |g|))))) - (|bfLp2| |extrait| |itl| |body|))))) - (DEFUN |bfMakeCollectInsn| (|expr| |prev| |head| |adv|) (PROG (|otherTime| |firstTime|) (RETURN @@ -1244,15 +1234,23 @@ ((NULL |l|) NIL) ((NULL (CDR |l|)) (CAR |l|)) (T (CONS 'OR - (LET ((|bfVar#99| NIL) (|bfVar#98| |l|) (|c| NIL)) + (LET ((|bfVar#99| NIL) (|bfVar#100| NIL) (|bfVar#98| |l|) + (|c| NIL)) (LOOP (COND ((OR (ATOM |bfVar#98|) (PROGN (SETQ |c| (CAR |bfVar#98|)) NIL)) - (RETURN (|reverse!| |bfVar#99|))) - (T (SETQ |bfVar#99| - (APPEND (|reverse| (|bfFlatten| 'OR |c|)) - |bfVar#99|)))) + (RETURN |bfVar#99|)) + (T (LET ((|bfVar#101| + (|copyList| (|bfFlatten| 'OR |c|)))) + (COND + ((NULL |bfVar#101|) NIL) + ((NULL |bfVar#99|) + (SETQ |bfVar#99| |bfVar#101|) + (SETQ |bfVar#100| (|lastNode| |bfVar#99|))) + (T (RPLACD |bfVar#100| |bfVar#101|) + (SETQ |bfVar#100| + (|lastNode| |bfVar#100|))))))) (SETQ |bfVar#98| (CDR |bfVar#98|)))))))) (DEFUN |bfAND| (|l|) @@ -1260,16 +1258,24 @@ ((NULL |l|) T) ((NULL (CDR |l|)) (CAR |l|)) (T (CONS 'AND - (LET ((|bfVar#101| NIL) (|bfVar#100| |l|) (|c| NIL)) + (LET ((|bfVar#103| NIL) (|bfVar#104| NIL) + (|bfVar#102| |l|) (|c| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#100|) - (PROGN (SETQ |c| (CAR |bfVar#100|)) NIL)) - (RETURN (|reverse!| |bfVar#101|))) - (T (SETQ |bfVar#101| - (APPEND (|reverse| (|bfFlatten| 'AND |c|)) - |bfVar#101|)))) - (SETQ |bfVar#100| (CDR |bfVar#100|)))))))) + ((OR (ATOM |bfVar#102|) + (PROGN (SETQ |c| (CAR |bfVar#102|)) NIL)) + (RETURN |bfVar#103|)) + (T (LET ((|bfVar#105| + (|copyList| (|bfFlatten| 'AND |c|)))) + (COND + ((NULL |bfVar#105|) NIL) + ((NULL |bfVar#103|) + (SETQ |bfVar#103| |bfVar#105|) + (SETQ |bfVar#104| (|lastNode| |bfVar#103|))) + (T (RPLACD |bfVar#104| |bfVar#105|) + (SETQ |bfVar#104| + (|lastNode| |bfVar#104|))))))) + (SETQ |bfVar#102| (CDR |bfVar#102|)))))))) (DEFUN |defQuoteId| (|x|) (AND (CONSP |x|) (EQ (CAR |x|) 'QUOTE) (SYMBOLP (CADR |x|)))) @@ -1332,28 +1338,9 @@ (SETQ |nargl| (CADDR . #0#)) (SETQ |largl| (CADDDR . #0#)) (SETQ |sb| - (LET ((|bfVar#104| NIL) (|bfVar#105| NIL) - (|bfVar#102| |nargl|) (|i| NIL) - (|bfVar#103| |sgargl|) (|j| NIL)) - (LOOP - (COND - ((OR (ATOM |bfVar#102|) - (PROGN (SETQ |i| (CAR |bfVar#102|)) NIL) - (ATOM |bfVar#103|) - (PROGN (SETQ |j| (CAR |bfVar#103|)) NIL)) - (RETURN |bfVar#104|)) - ((NULL |bfVar#104|) - (SETQ |bfVar#104| #1=(CONS (CONS |i| |j|) NIL)) - (SETQ |bfVar#105| |bfVar#104|)) - (T (RPLACD |bfVar#105| #1#) - (SETQ |bfVar#105| (CDR |bfVar#105|)))) - (SETQ |bfVar#102| (CDR |bfVar#102|)) - (SETQ |bfVar#103| (CDR |bfVar#103|))))) - (SETQ |body| (SUBLIS |sb| |body|)) - (SETQ |sb2| (LET ((|bfVar#108| NIL) (|bfVar#109| NIL) - (|bfVar#106| |sgargl|) (|i| NIL) - (|bfVar#107| |largl|) (|j| NIL)) + (|bfVar#106| |nargl|) (|i| NIL) + (|bfVar#107| |sgargl|) (|j| NIL)) (LOOP (COND ((OR (ATOM |bfVar#106|) @@ -1362,31 +1349,57 @@ (PROGN (SETQ |j| (CAR |bfVar#107|)) NIL)) (RETURN |bfVar#108|)) ((NULL |bfVar#108|) - (SETQ |bfVar#108| - #2=(CONS (LIST 'CONS (LIST 'QUOTE |i|) |j|) - NIL)) + (SETQ |bfVar#108| #1=(CONS (CONS |i| |j|) NIL)) (SETQ |bfVar#109| |bfVar#108|)) - (T (RPLACD |bfVar#109| #2#) + (T (RPLACD |bfVar#109| #1#) (SETQ |bfVar#109| (CDR |bfVar#109|)))) (SETQ |bfVar#106| (CDR |bfVar#106|)) (SETQ |bfVar#107| (CDR |bfVar#107|))))) + (SETQ |body| (SUBLIS |sb| |body|)) + (SETQ |sb2| + (LET ((|bfVar#112| NIL) (|bfVar#113| NIL) + (|bfVar#110| |sgargl|) (|i| NIL) + (|bfVar#111| |largl|) (|j| NIL)) + (LOOP + (COND + ((OR (ATOM |bfVar#110|) + (PROGN (SETQ |i| (CAR |bfVar#110|)) NIL) + (ATOM |bfVar#111|) + (PROGN (SETQ |j| (CAR |bfVar#111|)) NIL)) + (RETURN |bfVar#112|)) + ((NULL |bfVar#112|) + (SETQ |bfVar#112| + #2=(CONS (LIST 'CONS (LIST 'QUOTE |i|) |j|) + NIL)) + (SETQ |bfVar#113| |bfVar#112|)) + (T (RPLACD |bfVar#113| #2#) + (SETQ |bfVar#113| (CDR |bfVar#113|)))) + (SETQ |bfVar#110| (CDR |bfVar#110|)) + (SETQ |bfVar#111| (CDR |bfVar#111|))))) (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#111| NIL) (|bfVar#110| |$wheredefs|) - (|d| NIL)) + (LET ((|bfVar#115| NIL) (|bfVar#116| NIL) + (|bfVar#114| |$wheredefs|) (|d| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#110|) - (PROGN (SETQ |d| (CAR |bfVar#110|)) NIL)) - (RETURN (|reverse!| |bfVar#111|))) - (T (SETQ |bfVar#111| - (APPEND (|reverse| - (|shoeComps| (|bfDef1| |d|))) - |bfVar#111|)))) - (SETQ |bfVar#110| (CDR |bfVar#110|))))))))) + ((OR (ATOM |bfVar#114|) + (PROGN (SETQ |d| (CAR |bfVar#114|)) NIL)) + (RETURN |bfVar#115|)) + (T (LET ((|bfVar#117| + (|copyList| + (|shoeComps| (|bfDef1| |d|))))) + (COND + ((NULL |bfVar#117|) NIL) + ((NULL |bfVar#115|) + (SETQ |bfVar#115| |bfVar#117|) + (SETQ |bfVar#116| (|lastNode| |bfVar#115|))) + (T (RPLACD |bfVar#116| |bfVar#117|) + (SETQ |bfVar#116| + (|lastNode| |bfVar#116|))))))) + (SETQ |bfVar#114| (CDR |bfVar#114|))))))))) (DEFUN |bfGargl| (|argl|) (PROG (|f| |d| |c| |b| |a| |LETTMP#1|) @@ -1406,13 +1419,13 @@ (LIST (CONS |f| |a|) (CONS |f| |b|) (CONS (CAR |argl|) |c|) (CONS |f| |d|))))))))) -(DEFUN |bfDef1| (|bfVar#112|) +(DEFUN |bfDef1| (|bfVar#118|) (PROG (|arglp| |control| |quotes| |LETTMP#1| |argl| |body| |args| |op|) (RETURN (PROGN - (SETQ |op| (CAR |bfVar#112|)) - (SETQ |args| (CADR . #0=(|bfVar#112|))) + (SETQ |op| (CAR |bfVar#118|)) + (SETQ |args| (CADR . #0=(|bfVar#118|))) (SETQ |body| (CADDR . #0#)) (SETQ |argl| (COND @@ -1453,35 +1466,43 @@ (SETQ |arg1| (CADDR . #0#)) (SETQ |body1| (CDDDR . #0#)) (|bfCompHash| |op1| |arg1| |body1|)) (T (|bfTuple| - (LET ((|bfVar#114| NIL) - (|bfVar#113| + (LET ((|bfVar#120| NIL) (|bfVar#121| NIL) + (|bfVar#119| (CONS (LIST |op| |args| |body|) |$wheredefs|)) (|d| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#113|) - (PROGN (SETQ |d| (CAR |bfVar#113|)) NIL)) - (RETURN (|reverse!| |bfVar#114|))) - (T (SETQ |bfVar#114| - (APPEND (|reverse| - (|shoeComps| (|bfDef1| |d|))) - |bfVar#114|)))) - (SETQ |bfVar#113| (CDR |bfVar#113|)))))))))) + ((OR (ATOM |bfVar#119|) + (PROGN (SETQ |d| (CAR |bfVar#119|)) NIL)) + (RETURN |bfVar#120|)) + (T (LET ((|bfVar#122| + (|copyList| + (|shoeComps| (|bfDef1| |d|))))) + (COND + ((NULL |bfVar#122|) NIL) + ((NULL |bfVar#120|) + (SETQ |bfVar#120| |bfVar#122|) + (SETQ |bfVar#121| + (|lastNode| |bfVar#120|))) + (T (RPLACD |bfVar#121| |bfVar#122|) + (SETQ |bfVar#121| + (|lastNode| |bfVar#121|))))))) + (SETQ |bfVar#119| (CDR |bfVar#119|)))))))))) (DEFUN |shoeComps| (|x|) - (LET ((|bfVar#116| NIL) (|bfVar#117| NIL) (|bfVar#115| |x|) + (LET ((|bfVar#124| NIL) (|bfVar#125| NIL) (|bfVar#123| |x|) (|def| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#115|) - (PROGN (SETQ |def| (CAR |bfVar#115|)) NIL)) - (RETURN |bfVar#116|)) - ((NULL |bfVar#116|) - (SETQ |bfVar#116| #0=(CONS (|shoeComp| |def|) NIL)) - (SETQ |bfVar#117| |bfVar#116|)) - (T (RPLACD |bfVar#117| #0#) - (SETQ |bfVar#117| (CDR |bfVar#117|)))) - (SETQ |bfVar#115| (CDR |bfVar#115|))))) + ((OR (ATOM |bfVar#123|) + (PROGN (SETQ |def| (CAR |bfVar#123|)) NIL)) + (RETURN |bfVar#124|)) + ((NULL |bfVar#124|) + (SETQ |bfVar#124| #0=(CONS (|shoeComp| |def|) NIL)) + (SETQ |bfVar#125| |bfVar#124|)) + (T (RPLACD |bfVar#125| #0#) + (SETQ |bfVar#125| (CDR |bfVar#125|)))) + (SETQ |bfVar#123| (CDR |bfVar#123|))))) (DEFUN |shoeComp| (|x|) (PROG (|a|) @@ -1626,15 +1647,15 @@ ((|symbolMember?| |op| '(LET PROG LOOP BLOCK DECLARE LAMBDA)) NIL) - (T (LET ((|bfVar#119| NIL) (|bfVar#118| |body|) (|t| NIL)) + (T (LET ((|bfVar#127| NIL) (|bfVar#126| |body|) (|t| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#118|) - (PROGN (SETQ |t| (CAR |bfVar#118|)) NIL)) - (RETURN |bfVar#119|)) - (T (SETQ |bfVar#119| (|needsPROG| |t|)) - (COND (|bfVar#119| (RETURN |bfVar#119|))))) - (SETQ |bfVar#118| (CDR |bfVar#118|))))))))))) + ((OR (ATOM |bfVar#126|) + (PROGN (SETQ |t| (CAR |bfVar#126|)) NIL)) + (RETURN |bfVar#127|)) + (T (SETQ |bfVar#127| (|needsPROG| |t|)) + (COND (|bfVar#127| (RETURN |bfVar#127|))))) + (SETQ |bfVar#126| (CDR |bfVar#126|))))))))))) (DEFUN |shoePROG| (|v| |b|) (PROG (|blist| |blast| |LETTMP#1|) @@ -1730,11 +1751,11 @@ ((EQ U '|%Leave|) (RPLACA |x| 'RETURN)) ((|symbolMember?| U '(PROG LAMBDA)) (SETQ |newbindings| NIL) - (LET ((|bfVar#120| (CADR |x|)) (|y| NIL)) + (LET ((|bfVar#128| (CADR |x|)) (|y| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#120|) - (PROGN (SETQ |y| (CAR |bfVar#120|)) NIL)) + ((OR (ATOM |bfVar#128|) + (PROGN (SETQ |y| (CAR |bfVar#128|)) NIL)) (RETURN NIL)) ((NOT (|symbolMember?| |y| |$locVars|)) (IDENTITY @@ -1742,29 +1763,29 @@ (SETQ |$locVars| (CONS |y| |$locVars|)) (SETQ |newbindings| (CONS |y| |newbindings|)))))) - (SETQ |bfVar#120| (CDR |bfVar#120|)))) + (SETQ |bfVar#128| (CDR |bfVar#128|)))) (SETQ |res| (|shoeCompTran1| (CDDR |x|))) (SETQ |$locVars| - (LET ((|bfVar#122| NIL) (|bfVar#123| NIL) - (|bfVar#121| |$locVars|) (|y| NIL)) + (LET ((|bfVar#130| NIL) (|bfVar#131| NIL) + (|bfVar#129| |$locVars|) (|y| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#121|) + ((OR (ATOM |bfVar#129|) (PROGN - (SETQ |y| (CAR |bfVar#121|)) + (SETQ |y| (CAR |bfVar#129|)) NIL)) - (RETURN |bfVar#122|)) + (RETURN |bfVar#130|)) (T (AND (NOT (|symbolMember?| |y| |newbindings|)) (COND - ((NULL |bfVar#122|) - (SETQ |bfVar#122| + ((NULL |bfVar#130|) + (SETQ |bfVar#130| #0=(CONS |y| NIL)) - (SETQ |bfVar#123| |bfVar#122|)) - (T (RPLACD |bfVar#123| #0#) - (SETQ |bfVar#123| - (CDR |bfVar#123|))))))) - (SETQ |bfVar#121| (CDR |bfVar#121|)))))) + (SETQ |bfVar#131| |bfVar#130|)) + (T (RPLACD |bfVar#131| #0#) + (SETQ |bfVar#131| + (CDR |bfVar#131|))))))) + (SETQ |bfVar#129| (CDR |bfVar#129|)))))) (T (|shoeCompTran1| (CAR |x|)) (|shoeCompTran1| (CDR |x|))))))))) @@ -1855,13 +1876,20 @@ (RETURN (PROGN (SETQ |a| - (LET ((|bfVar#124| NIL) (|c| |l|)) + (LET ((|bfVar#132| NIL) (|bfVar#133| NIL) (|c| |l|)) (LOOP (COND - ((ATOM |c|) (RETURN (|reverse!| |bfVar#124|))) - (T (SETQ |bfVar#124| - (APPEND (|reverse| (|bfFlattenSeq| |c|)) - |bfVar#124|)))) + ((ATOM |c|) (RETURN |bfVar#132|)) + (T (LET ((|bfVar#134| + (|copyList| (|bfFlattenSeq| |c|)))) + (COND + ((NULL |bfVar#134|) NIL) + ((NULL |bfVar#132|) + (SETQ |bfVar#132| |bfVar#134|) + (SETQ |bfVar#133| (|lastNode| |bfVar#132|))) + (T (RPLACD |bfVar#133| |bfVar#134|) + (SETQ |bfVar#133| + (|lastNode| |bfVar#133|))))))) (SETQ |c| (CDR |c|))))) (COND ((NULL |a|) NIL) @@ -1879,22 +1907,22 @@ ((AND (CONSP |f|) (EQ (CAR |f|) 'PROGN)) (COND ((CDR |x|) - (LET ((|bfVar#126| NIL) (|bfVar#127| NIL) - (|bfVar#125| (CDR |f|)) (|i| NIL)) + (LET ((|bfVar#136| NIL) (|bfVar#137| NIL) + (|bfVar#135| (CDR |f|)) (|i| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#125|) - (PROGN (SETQ |i| (CAR |bfVar#125|)) NIL)) - (RETURN |bfVar#126|)) + ((OR (ATOM |bfVar#135|) + (PROGN (SETQ |i| (CAR |bfVar#135|)) NIL)) + (RETURN |bfVar#136|)) (T (AND (NOT (ATOM |i|)) (COND - ((NULL |bfVar#126|) - (SETQ |bfVar#126| #0=(CONS |i| NIL)) - (SETQ |bfVar#127| |bfVar#126|)) - (T (RPLACD |bfVar#127| #0#) - (SETQ |bfVar#127| - (CDR |bfVar#127|))))))) - (SETQ |bfVar#125| (CDR |bfVar#125|))))) + ((NULL |bfVar#136|) + (SETQ |bfVar#136| #0=(CONS |i| NIL)) + (SETQ |bfVar#137| |bfVar#136|)) + (T (RPLACD |bfVar#137| #0#) + (SETQ |bfVar#137| + (CDR |bfVar#137|))))))) + (SETQ |bfVar#135| (CDR |bfVar#135|))))) (T (CDR |f|)))) (T (LIST |f|)))))))) @@ -1943,12 +1971,12 @@ (COND ((NULL |l|) NIL) (T (SETQ |transform| - (LET ((|bfVar#129| NIL) (|bfVar#130| NIL) - (|bfVar#128| |l|) (|x| NIL)) + (LET ((|bfVar#139| NIL) (|bfVar#140| NIL) + (|bfVar#138| |l|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#128|) - (PROGN (SETQ |x| (CAR |bfVar#128|)) NIL) + ((OR (ATOM |bfVar#138|) + (PROGN (SETQ |x| (CAR |bfVar#138|)) NIL) (NOT (AND (CONSP |x|) (EQ (CAR |x|) 'COND) (PROGN (SETQ |ISTMP#1| (CDR |x|)) @@ -1982,14 +2010,14 @@ (SETQ |b| (CAR |ISTMP#5|)) T)))))))))))))) - (RETURN |bfVar#129|)) - ((NULL |bfVar#129|) - (SETQ |bfVar#129| + (RETURN |bfVar#139|)) + ((NULL |bfVar#139|) + (SETQ |bfVar#139| #0=(CONS (|bfAlternative| |a| |b|) NIL)) - (SETQ |bfVar#130| |bfVar#129|)) - (T (RPLACD |bfVar#130| #0#) - (SETQ |bfVar#130| (CDR |bfVar#130|)))) - (SETQ |bfVar#128| (CDR |bfVar#128|))))) + (SETQ |bfVar#140| |bfVar#139|)) + (T (RPLACD |bfVar#140| #0#) + (SETQ |bfVar#140| (CDR |bfVar#140|)))) + (SETQ |bfVar#138| (CDR |bfVar#138|))))) (SETQ |no| (LENGTH |transform|)) (SETQ |before| (|bfTake| |no| |l|)) (SETQ |aft| (|bfDrop| |no| |l|)) @@ -2021,22 +2049,22 @@ (SETQ |defs| (CADR . #0=(|LETTMP#1|))) (SETQ |nondefs| (CADDR . #0#)) (SETQ |a| - (LET ((|bfVar#132| NIL) (|bfVar#133| NIL) - (|bfVar#131| |defs|) (|d| NIL)) + (LET ((|bfVar#142| NIL) (|bfVar#143| NIL) + (|bfVar#141| |defs|) (|d| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#131|) - (PROGN (SETQ |d| (CAR |bfVar#131|)) NIL)) - (RETURN |bfVar#132|)) - ((NULL |bfVar#132|) - (SETQ |bfVar#132| + ((OR (ATOM |bfVar#141|) + (PROGN (SETQ |d| (CAR |bfVar#141|)) NIL)) + (RETURN |bfVar#142|)) + ((NULL |bfVar#142|) + (SETQ |bfVar#142| #1=(CONS (LIST (CAR |d|) (CADR |d|) (|bfSUBLIS| |opassoc| (CADDR |d|))) NIL)) - (SETQ |bfVar#133| |bfVar#132|)) - (T (RPLACD |bfVar#133| #1#) - (SETQ |bfVar#133| (CDR |bfVar#133|)))) - (SETQ |bfVar#131| (CDR |bfVar#131|))))) + (SETQ |bfVar#143| |bfVar#142|)) + (T (RPLACD |bfVar#143| #1#) + (SETQ |bfVar#143| (CDR |bfVar#143|)))) + (SETQ |bfVar#141| (CDR |bfVar#141|))))) (SETQ |$wheredefs| (APPEND |a| |$wheredefs|)) (|bfMKPROGN| (|bfSUBLIS| |opassoc| (|append!| |nondefs| (LIST |expr|)))))))) @@ -2121,20 +2149,20 @@ ((AND (CONSP |x|) (NULL (CDR |x|))) (SETQ |f| (CAR |x|)) (LIST 'DEFCONSTANT |f| (LIST 'LIST (LIST 'QUOTE |f|)))) (T (SETQ |a| - (LET ((|bfVar#135| NIL) (|bfVar#136| NIL) - (|bfVar#134| (CDR |x|)) (|i| NIL)) + (LET ((|bfVar#145| NIL) (|bfVar#146| NIL) + (|bfVar#144| (CDR |x|)) (|i| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#134|) - (PROGN (SETQ |i| (CAR |bfVar#134|)) NIL)) - (RETURN |bfVar#135|)) - ((NULL |bfVar#135|) - (SETQ |bfVar#135| + ((OR (ATOM |bfVar#144|) + (PROGN (SETQ |i| (CAR |bfVar#144|)) NIL)) + (RETURN |bfVar#145|)) + ((NULL |bfVar#145|) + (SETQ |bfVar#145| #0=(CONS (|bfGenSymbol|) NIL)) - (SETQ |bfVar#136| |bfVar#135|)) - (T (RPLACD |bfVar#136| #0#) - (SETQ |bfVar#136| (CDR |bfVar#136|)))) - (SETQ |bfVar#134| (CDR |bfVar#134|))))) + (SETQ |bfVar#146| |bfVar#145|)) + (T (RPLACD |bfVar#146| #0#) + (SETQ |bfVar#146| (CDR |bfVar#146|)))) + (SETQ |bfVar#144| (CDR |bfVar#144|))))) (LIST 'DEFUN (CAR |x|) |a| (LIST 'CONS (LIST 'QUOTE (CAR |x|)) (CONS 'LIST |a|)))))))) @@ -2163,27 +2191,27 @@ (DEFUN |bfCaseItems| (|g| |x|) (PROG (|j| |ISTMP#1| |i|) (RETURN - (LET ((|bfVar#139| NIL) (|bfVar#140| NIL) (|bfVar#138| |x|) - (|bfVar#137| NIL)) + (LET ((|bfVar#149| NIL) (|bfVar#150| NIL) (|bfVar#148| |x|) + (|bfVar#147| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#138|) - (PROGN (SETQ |bfVar#137| (CAR |bfVar#138|)) NIL)) - (RETURN |bfVar#139|)) - (T (AND (CONSP |bfVar#137|) + ((OR (ATOM |bfVar#148|) + (PROGN (SETQ |bfVar#147| (CAR |bfVar#148|)) NIL)) + (RETURN |bfVar#149|)) + (T (AND (CONSP |bfVar#147|) (PROGN - (SETQ |i| (CAR |bfVar#137|)) - (SETQ |ISTMP#1| (CDR |bfVar#137|)) + (SETQ |i| (CAR |bfVar#147|)) + (SETQ |ISTMP#1| (CDR |bfVar#147|)) (AND (CONSP |ISTMP#1|) (NULL (CDR |ISTMP#1|)) (PROGN (SETQ |j| (CAR |ISTMP#1|)) T))) (COND - ((NULL |bfVar#139|) - (SETQ |bfVar#139| + ((NULL |bfVar#149|) + (SETQ |bfVar#149| #0=(CONS (|bfCI| |g| |i| |j|) NIL)) - (SETQ |bfVar#140| |bfVar#139|)) - (T (RPLACD |bfVar#140| #0#) - (SETQ |bfVar#140| (CDR |bfVar#140|))))))) - (SETQ |bfVar#138| (CDR |bfVar#138|))))))) + (SETQ |bfVar#150| |bfVar#149|)) + (T (RPLACD |bfVar#150| #0#) + (SETQ |bfVar#150| (CDR |bfVar#150|))))))) + (SETQ |bfVar#148| (CDR |bfVar#148|))))))) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing|) |%Form|) |bfCI|)) @@ -2195,26 +2223,26 @@ (COND ((NULL |a|) (LIST (CAR |x|) |y|)) (T (SETQ |b| - (LET ((|bfVar#142| NIL) (|bfVar#143| NIL) - (|bfVar#141| |a|) (|i| NIL) (|j| 1)) + (LET ((|bfVar#152| NIL) (|bfVar#153| NIL) + (|bfVar#151| |a|) (|i| NIL) (|j| 1)) (LOOP (COND - ((OR (ATOM |bfVar#141|) - (PROGN (SETQ |i| (CAR |bfVar#141|)) NIL)) - (RETURN |bfVar#142|)) + ((OR (ATOM |bfVar#151|) + (PROGN (SETQ |i| (CAR |bfVar#151|)) NIL)) + (RETURN |bfVar#152|)) (T (AND (NOT (EQ |i| 'DOT)) (COND - ((NULL |bfVar#142|) - (SETQ |bfVar#142| + ((NULL |bfVar#152|) + (SETQ |bfVar#152| #0=(CONS (LIST |i| (|bfCARCDR| |j| |g|)) NIL)) - (SETQ |bfVar#143| |bfVar#142|)) - (T (RPLACD |bfVar#143| #0#) - (SETQ |bfVar#143| - (CDR |bfVar#143|))))))) - (SETQ |bfVar#141| (CDR |bfVar#141|)) + (SETQ |bfVar#153| |bfVar#152|)) + (T (RPLACD |bfVar#153| #0#) + (SETQ |bfVar#153| + (CDR |bfVar#153|))))))) + (SETQ |bfVar#151| (CDR |bfVar#151|)) (SETQ |j| (+ |j| 1))))) (COND ((NULL |b|) (LIST (CAR |x|) |y|)) @@ -2352,20 +2380,20 @@ ((ATOM |form|) (COND ((MEMBER |form| |params|) |form|) (T (|quote| |form|)))) (T (CONS 'LIST - (LET ((|bfVar#145| NIL) (|bfVar#146| NIL) - (|bfVar#144| |form|) (|t| NIL)) + (LET ((|bfVar#155| NIL) (|bfVar#156| NIL) + (|bfVar#154| |form|) (|t| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#144|) - (PROGN (SETQ |t| (CAR |bfVar#144|)) NIL)) - (RETURN |bfVar#145|)) - ((NULL |bfVar#145|) - (SETQ |bfVar#145| + ((OR (ATOM |bfVar#154|) + (PROGN (SETQ |t| (CAR |bfVar#154|)) NIL)) + (RETURN |bfVar#155|)) + ((NULL |bfVar#155|) + (SETQ |bfVar#155| #0=(CONS (|backquote| |t| |params|) NIL)) - (SETQ |bfVar#146| |bfVar#145|)) - (T (RPLACD |bfVar#146| #0#) - (SETQ |bfVar#146| (CDR |bfVar#146|)))) - (SETQ |bfVar#144| (CDR |bfVar#144|)))))))) + (SETQ |bfVar#156| |bfVar#155|)) + (T (RPLACD |bfVar#156| #0#) + (SETQ |bfVar#156| (CDR |bfVar#156|)))) + (SETQ |bfVar#154| (CDR |bfVar#154|)))))))) (DEFUN |genTypeAlias| (|head| |body|) (PROG (|args| |op|) @@ -2566,57 +2594,57 @@ (RETURN (PROGN (SETQ |argtypes| - (LET ((|bfVar#148| NIL) (|bfVar#149| NIL) - (|bfVar#147| |s|) (|x| NIL)) + (LET ((|bfVar#158| NIL) (|bfVar#159| NIL) + (|bfVar#157| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#147|) - (PROGN (SETQ |x| (CAR |bfVar#147|)) NIL)) - (RETURN |bfVar#148|)) - ((NULL |bfVar#148|) - (SETQ |bfVar#148| + ((OR (ATOM |bfVar#157|) + (PROGN (SETQ |x| (CAR |bfVar#157|)) NIL)) + (RETURN |bfVar#158|)) + ((NULL |bfVar#158|) + (SETQ |bfVar#158| #0=(CONS (|nativeArgumentType| |x|) NIL)) - (SETQ |bfVar#149| |bfVar#148|)) - (T (RPLACD |bfVar#149| #0#) - (SETQ |bfVar#149| (CDR |bfVar#149|)))) - (SETQ |bfVar#147| (CDR |bfVar#147|))))) + (SETQ |bfVar#159| |bfVar#158|)) + (T (RPLACD |bfVar#159| #0#) + (SETQ |bfVar#159| (CDR |bfVar#159|)))) + (SETQ |bfVar#157| (CDR |bfVar#157|))))) (SETQ |rettype| (|nativeReturnType| |t|)) (COND - ((LET ((|bfVar#151| T) (|bfVar#150| (CONS |t| |s|)) + ((LET ((|bfVar#161| T) (|bfVar#160| (CONS |t| |s|)) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#150|) - (PROGN (SETQ |x| (CAR |bfVar#150|)) NIL)) - (RETURN |bfVar#151|)) - (T (SETQ |bfVar#151| (|isSimpleNativeType| |x|)) - (COND ((NOT |bfVar#151|) (RETURN NIL))))) - (SETQ |bfVar#150| (CDR |bfVar#150|)))) + ((OR (ATOM |bfVar#160|) + (PROGN (SETQ |x| (CAR |bfVar#160|)) NIL)) + (RETURN |bfVar#161|)) + (T (SETQ |bfVar#161| (|isSimpleNativeType| |x|)) + (COND ((NOT |bfVar#161|) (RETURN NIL))))) + (SETQ |bfVar#160| (CDR |bfVar#160|)))) (LIST (LIST 'DEFENTRY |op| |argtypes| (LIST |rettype| (PNAME |op'|))))) (T (SETQ |cop| (CONCAT (PNAME |op'|) "_stub")) (SETQ |cargs| - (LET ((|bfVar#160| NIL) (|bfVar#161| NIL) - (|bfVar#159| (- (LENGTH |s|) 1)) (|i| 0)) + (LET ((|bfVar#170| NIL) (|bfVar#171| NIL) + (|bfVar#169| (- (LENGTH |s|) 1)) (|i| 0)) (LOOP (COND - ((> |i| |bfVar#159|) (RETURN |bfVar#160|)) - ((NULL |bfVar#160|) - (SETQ |bfVar#160| + ((> |i| |bfVar#169|) (RETURN |bfVar#170|)) + ((NULL |bfVar#170|) + (SETQ |bfVar#170| (CONS (|genGCLnativeTranslation,mkCArgName| |i|) NIL)) - (SETQ |bfVar#161| |bfVar#160|)) - (T (RPLACD |bfVar#161| + (SETQ |bfVar#171| |bfVar#170|)) + (T (RPLACD |bfVar#171| (CONS (|genGCLnativeTranslation,mkCArgName| |i|) NIL)) - (SETQ |bfVar#161| (CDR |bfVar#161|)))) + (SETQ |bfVar#171| (CDR |bfVar#171|)))) (SETQ |i| (+ |i| 1))))) (SETQ |ccode| - (LET ((|bfVar#156| "") - (|bfVar#158| + (LET ((|bfVar#166| "") + (|bfVar#168| (CONS (|genGCLnativeTranslation,gclTypeInC| |t|) (CONS " " @@ -2624,30 +2652,30 @@ (CONS "(" (APPEND (LET - ((|bfVar#152| NIL) - (|bfVar#153| NIL) (|x| |s|) + ((|bfVar#162| NIL) + (|bfVar#163| NIL) (|x| |s|) (|a| |cargs|)) (LOOP (COND ((OR (ATOM |x|) (ATOM |a|)) - (RETURN |bfVar#152|)) - ((NULL |bfVar#152|) - (SETQ |bfVar#152| + (RETURN |bfVar#162|)) + ((NULL |bfVar#162|) + (SETQ |bfVar#162| (CONS (|genGCLnativeTranslation,cparm| |x| |a|) NIL)) - (SETQ |bfVar#153| - |bfVar#152|)) + (SETQ |bfVar#163| + |bfVar#162|)) (T - (RPLACD |bfVar#153| + (RPLACD |bfVar#163| (CONS (|genGCLnativeTranslation,cparm| |x| |a|) NIL)) - (SETQ |bfVar#153| - (CDR |bfVar#153|)))) + (SETQ |bfVar#163| + (CDR |bfVar#163|)))) (SETQ |x| (CDR |x|)) (SETQ |a| (CDR |a|)))) (CONS ") { " @@ -2660,45 +2688,45 @@ (CONS "(" (APPEND (LET - ((|bfVar#154| NIL) - (|bfVar#155| NIL) + ((|bfVar#164| NIL) + (|bfVar#165| NIL) (|x| |s|) (|a| |cargs|)) (LOOP (COND ((OR (ATOM |x|) (ATOM |a|)) (RETURN - |bfVar#154|)) - ((NULL |bfVar#154|) - (SETQ |bfVar#154| + |bfVar#164|)) + ((NULL |bfVar#164|) + (SETQ |bfVar#164| (CONS (|genGCLnativeTranslation,gclArgsInC| |x| |a|) NIL)) - (SETQ |bfVar#155| - |bfVar#154|)) + (SETQ |bfVar#165| + |bfVar#164|)) (T - (RPLACD |bfVar#155| + (RPLACD |bfVar#165| (CONS (|genGCLnativeTranslation,gclArgsInC| |x| |a|) NIL)) - (SETQ |bfVar#155| - (CDR |bfVar#155|)))) + (SETQ |bfVar#165| + (CDR |bfVar#165|)))) (SETQ |x| (CDR |x|)) (SETQ |a| (CDR |a|)))) (CONS "); }" NIL)))))))))))) - (|bfVar#157| NIL)) + (|bfVar#167| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#158|) + ((OR (ATOM |bfVar#168|) (PROGN - (SETQ |bfVar#157| (CAR |bfVar#158|)) + (SETQ |bfVar#167| (CAR |bfVar#168|)) NIL)) - (RETURN |bfVar#156|)) - (T (SETQ |bfVar#156| - (CONCAT |bfVar#156| |bfVar#157|)))) - (SETQ |bfVar#158| (CDR |bfVar#158|))))) + (RETURN |bfVar#166|)) + (T (SETQ |bfVar#166| + (CONCAT |bfVar#166| |bfVar#167|)))) + (SETQ |bfVar#168| (CDR |bfVar#168|))))) (LIST (LIST 'CLINES |ccode|) (LIST 'DEFENTRY |op| |argtypes| (LIST |rettype| |cop|))))))))) @@ -2758,16 +2786,16 @@ (PROGN (SETQ |args| NIL) (SETQ |argtypes| NIL) - (LET ((|bfVar#162| |s|) (|x| NIL)) + (LET ((|bfVar#172| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#162|) - (PROGN (SETQ |x| (CAR |bfVar#162|)) NIL)) + ((OR (ATOM |bfVar#172|) + (PROGN (SETQ |x| (CAR |bfVar#172|)) NIL)) (RETURN NIL)) (T (SETQ |argtypes| (CONS (|nativeArgumentType| |x|) |argtypes|)) (SETQ |args| (CONS (GENSYM) |args|)))) - (SETQ |bfVar#162| (CDR |bfVar#162|)))) + (SETQ |bfVar#172| (CDR |bfVar#172|)))) (SETQ |args| (|reverse| |args|)) (SETQ |rettype| (|nativeReturnType| |t|)) (LIST (LIST 'DEFUN |op| |args| @@ -2778,49 +2806,49 @@ :ONE-LINER T))))))) (DEFUN |genECLnativeTranslation,callTemplate| (|op| |n| |s|) - (LET ((|bfVar#167| "") - (|bfVar#169| + (LET ((|bfVar#177| "") + (|bfVar#179| (CONS (PNAME |op|) (CONS "(" - (APPEND (LET ((|bfVar#165| NIL) - (|bfVar#166| NIL) - (|bfVar#163| (- |n| 1)) (|i| 0) - (|bfVar#164| |s|) (|x| NIL)) + (APPEND (LET ((|bfVar#175| NIL) + (|bfVar#176| NIL) + (|bfVar#173| (- |n| 1)) (|i| 0) + (|bfVar#174| |s|) (|x| NIL)) (LOOP (COND - ((OR (> |i| |bfVar#163|) - (ATOM |bfVar#164|) + ((OR (> |i| |bfVar#173|) + (ATOM |bfVar#174|) (PROGN - (SETQ |x| (CAR |bfVar#164|)) + (SETQ |x| (CAR |bfVar#174|)) NIL)) - (RETURN |bfVar#165|)) - ((NULL |bfVar#165|) - (SETQ |bfVar#165| + (RETURN |bfVar#175|)) + ((NULL |bfVar#175|) + (SETQ |bfVar#175| (CONS (|genECLnativeTranslation,sharpArg| |i| |x|) NIL)) - (SETQ |bfVar#166| |bfVar#165|)) + (SETQ |bfVar#176| |bfVar#175|)) (T - (RPLACD |bfVar#166| + (RPLACD |bfVar#176| (CONS (|genECLnativeTranslation,sharpArg| |i| |x|) NIL)) - (SETQ |bfVar#166| - (CDR |bfVar#166|)))) + (SETQ |bfVar#176| + (CDR |bfVar#176|)))) (SETQ |i| (+ |i| 1)) - (SETQ |bfVar#164| - (CDR |bfVar#164|)))) + (SETQ |bfVar#174| + (CDR |bfVar#174|)))) (CONS ")" NIL))))) - (|bfVar#168| NIL)) + (|bfVar#178| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#169|) - (PROGN (SETQ |bfVar#168| (CAR |bfVar#169|)) NIL)) - (RETURN |bfVar#167|)) - (T (SETQ |bfVar#167| (CONCAT |bfVar#167| |bfVar#168|)))) - (SETQ |bfVar#169| (CDR |bfVar#169|))))) + ((OR (ATOM |bfVar#179|) + (PROGN (SETQ |bfVar#178| (CAR |bfVar#179|)) NIL)) + (RETURN |bfVar#177|)) + (T (SETQ |bfVar#177| (CONCAT |bfVar#177| |bfVar#178|)))) + (SETQ |bfVar#179| (CDR |bfVar#179|))))) (DEFUN |genECLnativeTranslation,sharpArg| (|i| |x|) (COND @@ -2860,81 +2888,81 @@ (PROGN (SETQ |rettype| (|nativeReturnType| |t|)) (SETQ |argtypes| - (LET ((|bfVar#171| NIL) (|bfVar#172| NIL) - (|bfVar#170| |s|) (|x| NIL)) + (LET ((|bfVar#181| NIL) (|bfVar#182| NIL) + (|bfVar#180| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#170|) - (PROGN (SETQ |x| (CAR |bfVar#170|)) NIL)) - (RETURN |bfVar#171|)) - ((NULL |bfVar#171|) - (SETQ |bfVar#171| + ((OR (ATOM |bfVar#180|) + (PROGN (SETQ |x| (CAR |bfVar#180|)) NIL)) + (RETURN |bfVar#181|)) + ((NULL |bfVar#181|) + (SETQ |bfVar#181| #0=(CONS (|nativeArgumentType| |x|) NIL)) - (SETQ |bfVar#172| |bfVar#171|)) - (T (RPLACD |bfVar#172| #0#) - (SETQ |bfVar#172| (CDR |bfVar#172|)))) - (SETQ |bfVar#170| (CDR |bfVar#170|))))) + (SETQ |bfVar#182| |bfVar#181|)) + (T (RPLACD |bfVar#182| #0#) + (SETQ |bfVar#182| (CDR |bfVar#182|)))) + (SETQ |bfVar#180| (CDR |bfVar#180|))))) (SETQ |n| (INTERN (CONCAT (PNAME |op|) "%clisp-hack"))) (SETQ |parms| - (LET ((|bfVar#174| NIL) (|bfVar#175| NIL) - (|bfVar#173| |s|) (|x| NIL)) + (LET ((|bfVar#184| NIL) (|bfVar#185| NIL) + (|bfVar#183| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#173|) - (PROGN (SETQ |x| (CAR |bfVar#173|)) NIL)) - (RETURN |bfVar#174|)) - ((NULL |bfVar#174|) - (SETQ |bfVar#174| #1=(CONS (GENSYM "parm") NIL)) - (SETQ |bfVar#175| |bfVar#174|)) - (T (RPLACD |bfVar#175| #1#) - (SETQ |bfVar#175| (CDR |bfVar#175|)))) - (SETQ |bfVar#173| (CDR |bfVar#173|))))) + ((OR (ATOM |bfVar#183|) + (PROGN (SETQ |x| (CAR |bfVar#183|)) NIL)) + (RETURN |bfVar#184|)) + ((NULL |bfVar#184|) + (SETQ |bfVar#184| #1=(CONS (GENSYM "parm") NIL)) + (SETQ |bfVar#185| |bfVar#184|)) + (T (RPLACD |bfVar#185| #1#) + (SETQ |bfVar#185| (CDR |bfVar#185|)))) + (SETQ |bfVar#183| (CDR |bfVar#183|))))) (SETQ |unstableArgs| NIL) - (LET ((|bfVar#176| |parms|) (|p| NIL) (|bfVar#177| |s|) - (|x| NIL) (|bfVar#178| |argtypes|) (|y| NIL)) + (LET ((|bfVar#186| |parms|) (|p| NIL) (|bfVar#187| |s|) + (|x| NIL) (|bfVar#188| |argtypes|) (|y| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#176|) - (PROGN (SETQ |p| (CAR |bfVar#176|)) NIL) - (ATOM |bfVar#177|) - (PROGN (SETQ |x| (CAR |bfVar#177|)) NIL) - (ATOM |bfVar#178|) - (PROGN (SETQ |y| (CAR |bfVar#178|)) NIL)) + ((OR (ATOM |bfVar#186|) + (PROGN (SETQ |p| (CAR |bfVar#186|)) NIL) + (ATOM |bfVar#187|) + (PROGN (SETQ |x| (CAR |bfVar#187|)) NIL) + (ATOM |bfVar#188|) + (PROGN (SETQ |y| (CAR |bfVar#188|)) NIL)) (RETURN NIL)) ((|needsStableReference?| |x|) (IDENTITY (SETQ |unstableArgs| (CONS (CONS |p| (CONS |x| |y|)) |unstableArgs|))))) - (SETQ |bfVar#176| (CDR |bfVar#176|)) - (SETQ |bfVar#177| (CDR |bfVar#177|)) - (SETQ |bfVar#178| (CDR |bfVar#178|)))) + (SETQ |bfVar#186| (CDR |bfVar#186|)) + (SETQ |bfVar#187| (CDR |bfVar#187|)) + (SETQ |bfVar#188| (CDR |bfVar#188|)))) (SETQ |foreignDecl| (LIST (|bfColonColon| 'FFI 'DEF-CALL-OUT) |n| (LIST :NAME (PNAME |op'|)) (CONS :ARGUMENTS - (LET ((|bfVar#181| NIL) (|bfVar#182| NIL) - (|bfVar#179| |argtypes|) (|x| NIL) - (|bfVar#180| |parms|) (|a| NIL)) + (LET ((|bfVar#191| NIL) (|bfVar#192| NIL) + (|bfVar#189| |argtypes|) (|x| NIL) + (|bfVar#190| |parms|) (|a| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#179|) + ((OR (ATOM |bfVar#189|) (PROGN - (SETQ |x| (CAR |bfVar#179|)) + (SETQ |x| (CAR |bfVar#189|)) NIL) - (ATOM |bfVar#180|) + (ATOM |bfVar#190|) (PROGN - (SETQ |a| (CAR |bfVar#180|)) + (SETQ |a| (CAR |bfVar#190|)) NIL)) - (RETURN |bfVar#181|)) - ((NULL |bfVar#181|) - (SETQ |bfVar#181| + (RETURN |bfVar#191|)) + ((NULL |bfVar#191|) + (SETQ |bfVar#191| #2=(CONS (LIST |a| |x|) NIL)) - (SETQ |bfVar#182| |bfVar#181|)) - (T (RPLACD |bfVar#182| #2#) - (SETQ |bfVar#182| (CDR |bfVar#182|)))) - (SETQ |bfVar#179| (CDR |bfVar#179|)) - (SETQ |bfVar#180| (CDR |bfVar#180|))))) + (SETQ |bfVar#192| |bfVar#191|)) + (T (RPLACD |bfVar#192| #2#) + (SETQ |bfVar#192| (CDR |bfVar#192|)))) + (SETQ |bfVar#189| (CDR |bfVar#189|)) + (SETQ |bfVar#190| (CDR |bfVar#190|))))) (LIST :RETURN-TYPE |rettype|) (LIST :LANGUAGE :STDC))) (SETQ |forwardingFun| @@ -2942,84 +2970,84 @@ ((NULL |unstableArgs|) (LIST 'DEFUN |op| |parms| (CONS |n| |parms|))) (T (SETQ |localPairs| - (LET ((|bfVar#185| NIL) (|bfVar#186| NIL) - (|bfVar#184| |unstableArgs|) - (|bfVar#183| NIL)) + (LET ((|bfVar#195| NIL) (|bfVar#196| NIL) + (|bfVar#194| |unstableArgs|) + (|bfVar#193| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#184|) + ((OR (ATOM |bfVar#194|) (PROGN - (SETQ |bfVar#183| - (CAR |bfVar#184|)) + (SETQ |bfVar#193| + (CAR |bfVar#194|)) NIL)) - (RETURN |bfVar#185|)) - (T (AND (CONSP |bfVar#183|) + (RETURN |bfVar#195|)) + (T (AND (CONSP |bfVar#193|) (PROGN - (SETQ |a| (CAR |bfVar#183|)) + (SETQ |a| (CAR |bfVar#193|)) (SETQ |ISTMP#1| - (CDR |bfVar#183|)) + (CDR |bfVar#193|)) (AND (CONSP |ISTMP#1|) (PROGN (SETQ |x| (CAR |ISTMP#1|)) (SETQ |y| (CDR |ISTMP#1|)) T))) (COND - ((NULL |bfVar#185|) - (SETQ |bfVar#185| + ((NULL |bfVar#195|) + (SETQ |bfVar#195| #3=(CONS (CONS |a| (CONS |x| (CONS |y| (GENSYM "loc")))) NIL)) - (SETQ |bfVar#186| - |bfVar#185|)) - (T (RPLACD |bfVar#186| #3#) - (SETQ |bfVar#186| - (CDR |bfVar#186|))))))) - (SETQ |bfVar#184| (CDR |bfVar#184|))))) + (SETQ |bfVar#196| + |bfVar#195|)) + (T (RPLACD |bfVar#196| #3#) + (SETQ |bfVar#196| + (CDR |bfVar#196|))))))) + (SETQ |bfVar#194| (CDR |bfVar#194|))))) (SETQ |call| (CONS |n| - (LET ((|bfVar#188| NIL) - (|bfVar#189| NIL) - (|bfVar#187| |parms|) (|p| NIL)) + (LET ((|bfVar#198| NIL) + (|bfVar#199| NIL) + (|bfVar#197| |parms|) (|p| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#187|) + ((OR (ATOM |bfVar#197|) (PROGN - (SETQ |p| (CAR |bfVar#187|)) + (SETQ |p| (CAR |bfVar#197|)) NIL)) - (RETURN |bfVar#188|)) - ((NULL |bfVar#188|) - (SETQ |bfVar#188| + (RETURN |bfVar#198|)) + ((NULL |bfVar#198|) + (SETQ |bfVar#198| (CONS (|genCLISPnativeTranslation,actualArg| |p| |localPairs|) NIL)) - (SETQ |bfVar#189| |bfVar#188|)) + (SETQ |bfVar#199| |bfVar#198|)) (T - (RPLACD |bfVar#189| + (RPLACD |bfVar#199| (CONS (|genCLISPnativeTranslation,actualArg| |p| |localPairs|) NIL)) - (SETQ |bfVar#189| - (CDR |bfVar#189|)))) - (SETQ |bfVar#187| (CDR |bfVar#187|)))))) + (SETQ |bfVar#199| + (CDR |bfVar#199|)))) + (SETQ |bfVar#197| (CDR |bfVar#197|)))))) (SETQ |call| (PROGN (SETQ |fixups| - (LET ((|bfVar#191| NIL) - (|bfVar#192| NIL) - (|bfVar#190| |localPairs|) + (LET ((|bfVar#201| NIL) + (|bfVar#202| NIL) + (|bfVar#200| |localPairs|) (|p| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#190|) + ((OR (ATOM |bfVar#200|) (PROGN - (SETQ |p| (CAR |bfVar#190|)) + (SETQ |p| (CAR |bfVar#200|)) NIL)) - (RETURN |bfVar#191|)) + (RETURN |bfVar#201|)) (T (AND (NOT @@ -3028,34 +3056,34 @@ (|genCLISPnativeTranslation,copyBack| |p|)))) (COND - ((NULL |bfVar#191|) - (SETQ |bfVar#191| + ((NULL |bfVar#201|) + (SETQ |bfVar#201| (CONS |q| NIL)) - (SETQ |bfVar#192| - |bfVar#191|)) + (SETQ |bfVar#202| + |bfVar#201|)) (T - (RPLACD |bfVar#192| + (RPLACD |bfVar#202| (CONS |q| NIL)) - (SETQ |bfVar#192| - (CDR |bfVar#192|))))))) - (SETQ |bfVar#190| - (CDR |bfVar#190|))))) + (SETQ |bfVar#202| + (CDR |bfVar#202|))))))) + (SETQ |bfVar#200| + (CDR |bfVar#200|))))) (COND ((NULL |fixups|) (LIST |call|)) (T (LIST (CONS 'PROG1 (CONS |call| |fixups|))))))) - (LET ((|bfVar#194| |localPairs|) (|bfVar#193| NIL)) + (LET ((|bfVar#204| |localPairs|) (|bfVar#203| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#194|) + ((OR (ATOM |bfVar#204|) (PROGN - (SETQ |bfVar#193| (CAR |bfVar#194|)) + (SETQ |bfVar#203| (CAR |bfVar#204|)) NIL)) (RETURN NIL)) - (T (AND (CONSP |bfVar#193|) + (T (AND (CONSP |bfVar#203|) (PROGN - (SETQ |p| (CAR |bfVar#193|)) - (SETQ |ISTMP#1| (CDR |bfVar#193|)) + (SETQ |p| (CAR |bfVar#203|)) + (SETQ |ISTMP#1| (CDR |bfVar#203|)) (AND (CONSP |ISTMP#1|) (PROGN (SETQ |x| (CAR |ISTMP#1|)) @@ -3078,18 +3106,18 @@ |p|) |p|) |call|))))))) - (SETQ |bfVar#194| (CDR |bfVar#194|)))) + (SETQ |bfVar#204| (CDR |bfVar#204|)))) (CONS 'DEFUN (CONS |op| (CONS |parms| |call|)))))) (SETQ |$foreignsDefsForCLisp| (CONS |foreignDecl| |$foreignsDefsForCLisp|)) (LIST |forwardingFun|))))) -(DEFUN |genCLISPnativeTranslation,copyBack| (|bfVar#195|) +(DEFUN |genCLISPnativeTranslation,copyBack| (|bfVar#205|) (PROG (|a| |y| |x| |p|) (RETURN (PROGN - (SETQ |p| (CAR |bfVar#195|)) - (SETQ |x| (CADR . #0=(|bfVar#195|))) + (SETQ |p| (CAR |bfVar#205|)) + (SETQ |x| (CADR . #0=(|bfVar#205|))) (SETQ |y| (CADDR . #0#)) (SETQ |a| (CDDDR . #0#)) (COND @@ -3113,52 +3141,52 @@ (PROGN (SETQ |rettype| (|nativeReturnType| |t|)) (SETQ |argtypes| - (LET ((|bfVar#197| NIL) (|bfVar#198| NIL) - (|bfVar#196| |s|) (|x| NIL)) + (LET ((|bfVar#207| NIL) (|bfVar#208| NIL) + (|bfVar#206| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#196|) - (PROGN (SETQ |x| (CAR |bfVar#196|)) NIL)) - (RETURN |bfVar#197|)) - ((NULL |bfVar#197|) - (SETQ |bfVar#197| + ((OR (ATOM |bfVar#206|) + (PROGN (SETQ |x| (CAR |bfVar#206|)) NIL)) + (RETURN |bfVar#207|)) + ((NULL |bfVar#207|) + (SETQ |bfVar#207| #0=(CONS (|nativeArgumentType| |x|) NIL)) - (SETQ |bfVar#198| |bfVar#197|)) - (T (RPLACD |bfVar#198| #0#) - (SETQ |bfVar#198| (CDR |bfVar#198|)))) - (SETQ |bfVar#196| (CDR |bfVar#196|))))) + (SETQ |bfVar#208| |bfVar#207|)) + (T (RPLACD |bfVar#208| #0#) + (SETQ |bfVar#208| (CDR |bfVar#208|)))) + (SETQ |bfVar#206| (CDR |bfVar#206|))))) (SETQ |args| - (LET ((|bfVar#200| NIL) (|bfVar#201| NIL) - (|bfVar#199| |s|) (|x| NIL)) + (LET ((|bfVar#210| NIL) (|bfVar#211| NIL) + (|bfVar#209| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#199|) - (PROGN (SETQ |x| (CAR |bfVar#199|)) NIL)) - (RETURN |bfVar#200|)) - ((NULL |bfVar#200|) - (SETQ |bfVar#200| #1=(CONS (GENSYM) NIL)) - (SETQ |bfVar#201| |bfVar#200|)) - (T (RPLACD |bfVar#201| #1#) - (SETQ |bfVar#201| (CDR |bfVar#201|)))) - (SETQ |bfVar#199| (CDR |bfVar#199|))))) + ((OR (ATOM |bfVar#209|) + (PROGN (SETQ |x| (CAR |bfVar#209|)) NIL)) + (RETURN |bfVar#210|)) + ((NULL |bfVar#210|) + (SETQ |bfVar#210| #1=(CONS (GENSYM) NIL)) + (SETQ |bfVar#211| |bfVar#210|)) + (T (RPLACD |bfVar#211| #1#) + (SETQ |bfVar#211| (CDR |bfVar#211|)))) + (SETQ |bfVar#209| (CDR |bfVar#209|))))) (SETQ |unstableArgs| NIL) (SETQ |newArgs| NIL) - (LET ((|bfVar#202| |args|) (|a| NIL) (|bfVar#203| |s|) + (LET ((|bfVar#212| |args|) (|a| NIL) (|bfVar#213| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#202|) - (PROGN (SETQ |a| (CAR |bfVar#202|)) NIL) - (ATOM |bfVar#203|) - (PROGN (SETQ |x| (CAR |bfVar#203|)) NIL)) + ((OR (ATOM |bfVar#212|) + (PROGN (SETQ |a| (CAR |bfVar#212|)) NIL) + (ATOM |bfVar#213|) + (PROGN (SETQ |x| (CAR |bfVar#213|)) NIL)) (RETURN NIL)) (T (SETQ |newArgs| (CONS (|coerceToNativeType| |a| |x|) |newArgs|)) (COND ((|needsStableReference?| |x|) (SETQ |unstableArgs| (CONS |a| |unstableArgs|)))))) - (SETQ |bfVar#202| (CDR |bfVar#202|)) - (SETQ |bfVar#203| (CDR |bfVar#203|)))) + (SETQ |bfVar#212| (CDR |bfVar#212|)) + (SETQ |bfVar#213| (CDR |bfVar#213|)))) (SETQ |op'| (COND ((|%hasFeature| :WIN32) (CONCAT "_" (PNAME |op'|))) @@ -3195,44 +3223,44 @@ (PROGN (SETQ |rettype| (|nativeReturnType| |t|)) (SETQ |argtypes| - (LET ((|bfVar#205| NIL) (|bfVar#206| NIL) - (|bfVar#204| |s|) (|x| NIL)) + (LET ((|bfVar#215| NIL) (|bfVar#216| NIL) + (|bfVar#214| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#204|) - (PROGN (SETQ |x| (CAR |bfVar#204|)) NIL)) - (RETURN |bfVar#205|)) - ((NULL |bfVar#205|) - (SETQ |bfVar#205| + ((OR (ATOM |bfVar#214|) + (PROGN (SETQ |x| (CAR |bfVar#214|)) NIL)) + (RETURN |bfVar#215|)) + ((NULL |bfVar#215|) + (SETQ |bfVar#215| #0=(CONS (|nativeArgumentType| |x|) NIL)) - (SETQ |bfVar#206| |bfVar#205|)) - (T (RPLACD |bfVar#206| #0#) - (SETQ |bfVar#206| (CDR |bfVar#206|)))) - (SETQ |bfVar#204| (CDR |bfVar#204|))))) + (SETQ |bfVar#216| |bfVar#215|)) + (T (RPLACD |bfVar#216| #0#) + (SETQ |bfVar#216| (CDR |bfVar#216|)))) + (SETQ |bfVar#214| (CDR |bfVar#214|))))) (SETQ |parms| - (LET ((|bfVar#208| NIL) (|bfVar#209| NIL) - (|bfVar#207| |s|) (|x| NIL)) + (LET ((|bfVar#218| NIL) (|bfVar#219| NIL) + (|bfVar#217| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#207|) - (PROGN (SETQ |x| (CAR |bfVar#207|)) NIL)) - (RETURN |bfVar#208|)) - ((NULL |bfVar#208|) - (SETQ |bfVar#208| #1=(CONS (GENSYM "parm") NIL)) - (SETQ |bfVar#209| |bfVar#208|)) - (T (RPLACD |bfVar#209| #1#) - (SETQ |bfVar#209| (CDR |bfVar#209|)))) - (SETQ |bfVar#207| (CDR |bfVar#207|))))) + ((OR (ATOM |bfVar#217|) + (PROGN (SETQ |x| (CAR |bfVar#217|)) NIL)) + (RETURN |bfVar#218|)) + ((NULL |bfVar#218|) + (SETQ |bfVar#218| #1=(CONS (GENSYM "parm") NIL)) + (SETQ |bfVar#219| |bfVar#218|)) + (T (RPLACD |bfVar#219| #1#) + (SETQ |bfVar#219| (CDR |bfVar#219|)))) + (SETQ |bfVar#217| (CDR |bfVar#217|))))) (SETQ |strPairs| NIL) (SETQ |aryPairs| NIL) - (LET ((|bfVar#210| |parms|) (|p| NIL) (|bfVar#211| |s|) + (LET ((|bfVar#220| |parms|) (|p| NIL) (|bfVar#221| |s|) (|x| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#210|) - (PROGN (SETQ |p| (CAR |bfVar#210|)) NIL) - (ATOM |bfVar#211|) - (PROGN (SETQ |x| (CAR |bfVar#211|)) NIL)) + ((OR (ATOM |bfVar#220|) + (PROGN (SETQ |p| (CAR |bfVar#220|)) NIL) + (ATOM |bfVar#221|) + (PROGN (SETQ |x| (CAR |bfVar#221|)) NIL)) (RETURN NIL)) ((EQ |x| '|string|) (SETQ |strPairs| @@ -3251,100 +3279,98 @@ (NULL (CDR |ISTMP#3|))))))))) (SETQ |aryPairs| (CONS (CONS |p| (GENSYM "loc")) |aryPairs|)))) - (SETQ |bfVar#210| (CDR |bfVar#210|)) - (SETQ |bfVar#211| (CDR |bfVar#211|)))) + (SETQ |bfVar#220| (CDR |bfVar#220|)) + (SETQ |bfVar#221| (CDR |bfVar#221|)))) (COND ((|%hasFeature| :DARWIN) (SETQ |op'| (CONCAT '_ |op'|)))) (SETQ |call| (CONS (|bfColonColon| 'CCL 'EXTERNAL-CALL) (CONS (STRING |op'|) - (APPEND (LET ((|bfVar#214| NIL) - (|bfVar#215| NIL) - (|bfVar#212| |argtypes|) - (|x| NIL) (|bfVar#213| |parms|) + (APPEND (LET ((|bfVar#224| NIL) + (|bfVar#225| NIL) + (|bfVar#222| |argtypes|) + (|x| NIL) (|bfVar#223| |parms|) (|p| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#212|) + ((OR (ATOM |bfVar#222|) (PROGN (SETQ |x| - (CAR |bfVar#212|)) + (CAR |bfVar#222|)) NIL) - (ATOM |bfVar#213|) + (ATOM |bfVar#223|) (PROGN (SETQ |p| - (CAR |bfVar#213|)) + (CAR |bfVar#223|)) NIL)) - (RETURN |bfVar#214|)) - ((NULL |bfVar#214|) - (SETQ |bfVar#214| - (LIST |x| - (COND - ((SETQ |p'| - (ASSOC |p| |strPairs|)) - (CDR |p'|)) - ((SETQ |p'| - (ASSOC |p| |aryPairs|)) - (CDR |p'|)) - (T |p|)))) - (SETQ |bfVar#215| - (|lastNode| |bfVar#214|))) + (RETURN |bfVar#224|)) (T - (RPLACD |bfVar#215| - (LIST |x| + (LET + ((|bfVar#226| + (LIST |x| + (COND + ((SETQ |p'| + (ASSOC |p| |strPairs|)) + (CDR |p'|)) + ((SETQ |p'| + (ASSOC |p| |aryPairs|)) + (CDR |p'|)) + (T |p|))))) (COND - ((SETQ |p'| - (ASSOC |p| |strPairs|)) - (CDR |p'|)) - ((SETQ |p'| - (ASSOC |p| |aryPairs|)) - (CDR |p'|)) - (T |p|)))) - (SETQ |bfVar#215| - (|lastNode| |bfVar#215|)))) - (SETQ |bfVar#212| - (CDR |bfVar#212|)) - (SETQ |bfVar#213| - (CDR |bfVar#213|)))) + ((NULL |bfVar#226|) NIL) + ((NULL |bfVar#224|) + (SETQ |bfVar#224| + |bfVar#226|) + (SETQ |bfVar#225| + (|lastNode| |bfVar#224|))) + (T + (RPLACD |bfVar#225| + |bfVar#226|) + (SETQ |bfVar#225| + (|lastNode| |bfVar#225|))))))) + (SETQ |bfVar#222| + (CDR |bfVar#222|)) + (SETQ |bfVar#223| + (CDR |bfVar#223|)))) (CONS |rettype| NIL))))) (COND ((EQ |t| '|string|) (SETQ |call| (LIST (|bfColonColon| 'CCL 'GET-CSTRING) |call|)))) - (LET ((|bfVar#216| |aryPairs|) (|arg| NIL)) + (LET ((|bfVar#227| |aryPairs|) (|arg| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#216|) - (PROGN (SETQ |arg| (CAR |bfVar#216|)) NIL)) + ((OR (ATOM |bfVar#227|) + (PROGN (SETQ |arg| (CAR |bfVar#227|)) NIL)) (RETURN NIL)) (T (SETQ |call| (LIST (|bfColonColon| 'CCL 'WITH-POINTER-TO-IVECTOR) (LIST (CDR |arg|) (CAR |arg|)) |call|)))) - (SETQ |bfVar#216| (CDR |bfVar#216|)))) + (SETQ |bfVar#227| (CDR |bfVar#227|)))) (COND (|strPairs| (SETQ |call| (LIST (|bfColonColon| 'CCL 'WITH-CSTRS) - (LET ((|bfVar#218| NIL) (|bfVar#219| NIL) - (|bfVar#217| |strPairs|) (|arg| NIL)) + (LET ((|bfVar#229| NIL) (|bfVar#230| NIL) + (|bfVar#228| |strPairs|) (|arg| NIL)) (LOOP (COND - ((OR (ATOM |bfVar#217|) + ((OR (ATOM |bfVar#228|) (PROGN - (SETQ |arg| (CAR |bfVar#217|)) + (SETQ |arg| (CAR |bfVar#228|)) NIL)) - (RETURN |bfVar#218|)) - ((NULL |bfVar#218|) - (SETQ |bfVar#218| + (RETURN |bfVar#229|)) + ((NULL |bfVar#229|) + (SETQ |bfVar#229| #2=(CONS (LIST (CDR |arg|) (CAR |arg|)) NIL)) - (SETQ |bfVar#219| |bfVar#218|)) - (T (RPLACD |bfVar#219| #2#) - (SETQ |bfVar#219| (CDR |bfVar#219|)))) - (SETQ |bfVar#217| (CDR |bfVar#217|)))) + (SETQ |bfVar#230| |bfVar#229|)) + (T (RPLACD |bfVar#230| #2#) + (SETQ |bfVar#230| (CDR |bfVar#230|)))) + (SETQ |bfVar#228| (CDR |bfVar#228|)))) |call|)))) (LIST (LIST 'DEFUN |op| |parms| |call|)))))) |