diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-05-05 01:23:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-05-05 01:23:36 +0000 |
| commit | 5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01 (patch) | |
| tree | bbe038276bb180f6d391dee2ca22388cd1aba2d2 /src/algebra/strap/LSAGG.lsp | |
| parent | 9d2955097e1bd70c06df5c5a55da67fb151466c2 (diff) | |
| download | open-axiom-5768bef1b2b7cd3fd38733a26a33ec2f0d8e6c01.tar.gz | |
* interp/c-util.boot (backendCompileSPADSLAM): Generate more
readable Lisp code.
Diffstat (limited to 'src/algebra/strap/LSAGG.lsp')
| -rw-r--r-- | src/algebra/strap/LSAGG.lsp | 51 |
1 files changed, 23 insertions, 28 deletions
diff --git a/src/algebra/strap/LSAGG.lsp b/src/algebra/strap/LSAGG.lsp index 03de8f30..7a168bdd 100644 --- a/src/algebra/strap/LSAGG.lsp +++ b/src/algebra/strap/LSAGG.lsp @@ -6,34 +6,29 @@ (DEFPARAMETER |ListAggregate;AL| 'NIL) (DEFUN |ListAggregate;| (|t#1|) - (PROG (#0=#:G1429) - (RETURN - (PROG1 (LETT #0# - (|sublisV| - (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) - (COND - (|ListAggregate;CAT|) - ('T - (LETT |ListAggregate;CAT| - (|Join| (|StreamAggregate| '|t#1|) - (|FiniteLinearAggregate| - '|t#1|) - (|ExtensibleLinearAggregate| - '|t#1|) - (|mkCategory| '|domain| - '(((|list| ($ |t#1|)) T)) NIL - 'NIL NIL)) - . #1=(|ListAggregate|))))) . #1#) - (|setShellEntry| #0# 0 - (LIST '|ListAggregate| (|devaluate| |t#1|))))))) + (LET ((#0=#:G1429 + (|sublisV| (PAIR '(|t#1|) (LIST (|devaluate| |t#1|))) + (COND + (|ListAggregate;CAT|) + ('T + (LETT |ListAggregate;CAT| + (|Join| (|StreamAggregate| '|t#1|) + (|FiniteLinearAggregate| '|t#1|) + (|ExtensibleLinearAggregate| '|t#1|) + (|mkCategory| '|domain| + '(((|list| ($ |t#1|)) T)) NIL 'NIL + NIL)) + |ListAggregate|)))))) + (|setShellEntry| #0# 0 (LIST '|ListAggregate| (|devaluate| |t#1|))) + #0#)) (DEFUN |ListAggregate| (#0=#:G1430) - (LET (#1=#:G1431) + (LET ((#1=#:G1431 (|assoc| (|devaluate| #0#) |ListAggregate;AL|))) (COND - ((SETQ #1# (|assoc| (|devaluate| #0#) |ListAggregate;AL|)) - (CDR #1#)) - (T (SETQ |ListAggregate;AL| - (|cons5| (CONS (|devaluate| #0#) - (SETQ #1# (|ListAggregate;| #0#))) - |ListAggregate;AL|)) - #1#)))) + (#1# (CDR #1#)) + (T (PROGN + (SETQ #1# (|ListAggregate;| #0#)) + (SETQ |ListAggregate;AL| + (|cons5| (CONS (|devaluate| #0#) #1#) + |ListAggregate;AL|)) + #1#))))) |