diff options
author | dos-reis <gdr@axiomatics.org> | 2011-01-02 10:09:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-01-02 10:09:37 +0000 |
commit | 2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8 (patch) | |
tree | a993fb841dbecc560c217651a8504f23ed526481 /src/algebra/strap/OUTFORM.lsp | |
parent | b9a4e3cd1880e977a827a98b1cb69175e7ad1e74 (diff) | |
download | open-axiom-2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8.tar.gz |
* interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before
value argument evaluation.
(lazyMatch): Check for %llength too.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit
and %2bool.
* interp/g-util.boot: Expand them.
* interp/define.boot (compJoin): Check for %llenght too.
* algebra/boolean.spad.pamphlet: Tidy.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/draw.spad.pamphlet: Likewise.
* algebra/files.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/sf.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/strap/OUTFORM.lsp')
-rw-r--r-- | src/algebra/strap/OUTFORM.lsp | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp index 2f459f95..ddf4ab0c 100644 --- a/src/algebra/strap/OUTFORM.lsp +++ b/src/algebra/strap/OUTFORM.lsp @@ -130,19 +130,20 @@ (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |OUTFORM;pile;L$;32|)) -(PUT '|OUTFORM;pile;L$;32| '|SPADreplace| '(XLAM (|l|) (CONS 'SC |l|))) +(PUT '|OUTFORM;pile;L$;32| '|SPADreplace| + '(XLAM (|l|) (|%makepair| 'SC |l|))) (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |OUTFORM;commaSeparate;L$;33|)) (PUT '|OUTFORM;commaSeparate;L$;33| '|SPADreplace| - '(XLAM (|l|) (CONS 'AGGLST |l|))) + '(XLAM (|l|) (|%makepair| 'AGGLST |l|))) (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |OUTFORM;semicolonSeparate;L$;34|)) (PUT '|OUTFORM;semicolonSeparate;L$;34| '|SPADreplace| - '(XLAM (|l|) (CONS 'AGGSET |l|))) + '(XLAM (|l|) (|%makepair| 'AGGSET |l|))) (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|) |OUTFORM;blankSeparate;L$;35|)) @@ -214,7 +215,7 @@ |OUTFORM;hconcat;L$;49|)) (PUT '|OUTFORM;hconcat;L$;49| '|SPADreplace| - '(XLAM (|l|) (CONS 'CONCAT |l|))) + '(XLAM (|l|) (|%makepair| 'CONCAT |l|))) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |OUTFORM;vconcat;3$;50|)) @@ -226,7 +227,7 @@ |OUTFORM;vconcat;L$;51|)) (PUT '|OUTFORM;vconcat;L$;51| '|SPADreplace| - '(XLAM (|l|) (CONS 'VCONCAT |l|))) + '(XLAM (|l|) (|%makepair| 'VCONCAT |l|))) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |OUTFORM;~=;3$;52|)) @@ -361,7 +362,7 @@ (DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|) |OUTFORM;elt;$L$;75|)) -(PUT '|OUTFORM;elt;$L$;75| '|SPADreplace| 'CONS) +(PUT '|OUTFORM;elt;$L$;75| '|SPADreplace| '|%makepair|) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Thing|) |OUTFORM;prefix;$L$;76|)) @@ -714,7 +715,7 @@ (DEFUN |OUTFORM;supersub;$L$;47| (|a| |l| $) (SEQ (COND - ((ODDP (LENGTH |l|)) + ((ODDP (LIST-LENGTH |l|)) (SETQ |l| (APPEND |l| (LIST (|OUTFORM;empty;$;73| $)))))) (EXIT (CONS 'ALTSUPERSUB (CONS |a| |l|))))) |