diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-06 13:37:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-06 13:37:14 +0000 |
commit | 7d0cd86fd5243dc6d350e3ae7b4201698a82b69d (patch) | |
tree | b97fb43b5e1cd614dc21ead4d4dd1b19239eee59 /src/algebra/strap/SETAGG.lsp | |
parent | 4348e69c730e4e3faa7b993ac0dac5ec426a374c (diff) | |
download | open-axiom-7d0cd86fd5243dc6d350e3ae7b4201698a82b69d.tar.gz |
* interp/c-util.boot (mutateToBackendCode): Don't replace explicit
SETQ by LETT.
Diffstat (limited to 'src/algebra/strap/SETAGG.lsp')
-rw-r--r-- | src/algebra/strap/SETAGG.lsp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/algebra/strap/SETAGG.lsp b/src/algebra/strap/SETAGG.lsp index dd352424..00d0411c 100644 --- a/src/algebra/strap/SETAGG.lsp +++ b/src/algebra/strap/SETAGG.lsp @@ -11,7 +11,7 @@ (COND (|SetAggregate;CAT|) ('T - (LETT |SetAggregate;CAT| + (SETQ |SetAggregate;CAT| (|Join| (|SetCategory|) (|Collection| '|t#1|) (|mkCategory| '|domain| '(((|part?| ((|Boolean|) $ $)) T) @@ -30,8 +30,7 @@ ((|union| ($ $ |t#1|)) T) ((|union| ($ |t#1| $)) T)) '((|partiallyOrderedSet| T)) - '((|Boolean|) (|List| |t#1|)) NIL)) - |SetAggregate|)))))) + '((|Boolean|) (|List| |t#1|)) NIL)))))))) (|setShellEntry| #0# 0 (LIST '|SetAggregate| (|devaluate| |t#1|))) #0#)) |