diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-03-05 02:09:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-03-05 02:09:51 +0000 |
| commit | f1c8a8db20dce5e74796e409d5bc7bec2d8793d5 (patch) | |
| tree | e6d6ba7f4fc22135395dfad949ebd50954ad152d /src/algebra/strap/LIST.lsp | |
| parent | 82eaa6d96dbadd85f23913a80f163544517af5b0 (diff) | |
| download | open-axiom-f1c8a8db20dce5e74796e409d5bc7bec2d8793d5.tar.gz | |
* interp/sys-globals.boot ($optimizeRep): Define.
* interp/sys-driver.boot (initializeGlobalState): Sey domain
representation inlining if requested.
* interp/c-util.boot (setCompilerOptimizations): Set domain
representation inlining if at optimization level 3.
* algebra/constant.spad.pamphlet (AlgebraicNumber): Remove
assignment to Rep. Tidy.
* algebra/Makefile.pamphlet: Add dependencies.
Diffstat (limited to 'src/algebra/strap/LIST.lsp')
| -rw-r--r-- | src/algebra/strap/LIST.lsp | 41 |
1 files changed, 29 insertions, 12 deletions
diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index 09c53e63..cd156bad 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -64,9 +64,10 @@ (SEQ (SPADCALL |dev| (|getShellEntry| $ 16)) (SPADCALL |dev| "list1" "list" (|getShellEntry| $ 18)) (SEQ G190 (COND ((NULL (NOT (NULL |x|))) (GO G191))) - (SEQ (SPADCALL |dev| (|SPADfirst| |x|) NIL - (|getShellEntry| $ 22)) - (EXIT (LETT |x| (CDR |x|) |LIST;writeOMList|))) + (SEQ (SPADCALL |dev| (SPADCALL |x| (|getShellEntry| $ 20)) + NIL (|getShellEntry| $ 22)) + (EXIT (LETT |x| (SPADCALL |x| (|getShellEntry| $ 23)) + |LIST;writeOMList|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT (SPADCALL |dev| (|getShellEntry| $ 24))))) @@ -120,16 +121,25 @@ (DEFUN |LIST;setIntersection;3$;11| (|l1| |l2| $) (PROG (|u|) (RETURN - (SEQ (LETT |u| NIL |LIST;setIntersection;3$;11|) + (SEQ (LETT |u| (SPADCALL (|getShellEntry| $ 38)) + |LIST;setIntersection;3$;11|) (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 36)) |LIST;setIntersection;3$;11|) - (SEQ G190 (COND ((NULL (NOT (NULL |l1|))) (GO G191))) + (SEQ G190 + (COND + ((NULL (NOT (SPADCALL |l1| (|getShellEntry| $ 39)))) + (GO G191))) (SEQ (COND - ((SPADCALL (|SPADfirst| |l1|) |l2| + ((SPADCALL + (SPADCALL |l1| (|getShellEntry| $ 20)) |l2| (|getShellEntry| $ 40)) - (LETT |u| (CONS (|SPADfirst| |l1|) |u|) + (LETT |u| + (CONS (SPADCALL |l1| + (|getShellEntry| $ 20)) + |u|) |LIST;setIntersection;3$;11|))) - (EXIT (LETT |l1| (CDR |l1|) + (EXIT (LETT |l1| + (SPADCALL |l1| (|getShellEntry| $ 23)) |LIST;setIntersection;3$;11|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |u|))))) @@ -139,17 +149,24 @@ (RETURN (SEQ (LETT |l1| (SPADCALL |l1| (|getShellEntry| $ 36)) |LIST;setDifference;3$;12|) - (LETT |lu| NIL |LIST;setDifference;3$;12|) - (SEQ G190 (COND ((NULL (NOT (NULL |l1|))) (GO G191))) + (LETT |lu| (SPADCALL (|getShellEntry| $ 38)) + |LIST;setDifference;3$;12|) + (SEQ G190 + (COND + ((NULL (NOT (SPADCALL |l1| (|getShellEntry| $ 39)))) + (GO G191))) (SEQ (LETT |l11| (SPADCALL |l1| 1 (|getShellEntry| $ 42)) |LIST;setDifference;3$;12|) (COND ((NOT (SPADCALL |l11| |l2| (|getShellEntry| $ 40))) - (LETT |lu| (CONS |l11| |lu|) + (LETT |lu| + (SPADCALL |l11| |lu| + (|getShellEntry| $ 43)) |LIST;setDifference;3$;12|))) - (EXIT (LETT |l1| (CDR |l1|) + (EXIT (LETT |l1| + (SPADCALL |l1| (|getShellEntry| $ 23)) |LIST;setDifference;3$;12|))) NIL (GO G190) G191 (EXIT NIL)) (EXIT |lu|))))) |