diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-22 16:15:30 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 16:15:30 +0000 |
| commit | 510c2f70ce377d60eed221e46294767f7f548f5d (patch) | |
| tree | db7b49602660346425298790df1ffcb9ad5f7c26 /src/algebra/strap/ILIST.lsp | |
| parent | c1da0d2561b27741a6feb73336b0712f5ddc7e97 (diff) | |
| download | open-axiom-510c2f70ce377d60eed221e46294767f7f548f5d.tar.gz | |
* interp/g-opt.boot (simplifyVMForm): New.
(optRetract): Simplify the predicate when possible.
(optNot): New transformer.
(optAnd): Likewise.
(optOr): Likewise.
(optIlt): Likewise.
(optIle): Likewise.
(optIgt): Likewise.
(optIge): Likewise.
Diffstat (limited to 'src/algebra/strap/ILIST.lsp')
| -rw-r--r-- | src/algebra/strap/ILIST.lsp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/strap/ILIST.lsp b/src/algebra/strap/ILIST.lsp index 8ba9493f..b9fcc572 100644 --- a/src/algebra/strap/ILIST.lsp +++ b/src/algebra/strap/ILIST.lsp @@ -387,7 +387,7 @@ (SEQ (SETQ |p| (|ILIST;rest;$Nni$;19| |p| (LET ((#0=#:G1506 (- |n| 1))) - (|check-subtype| (>= #0# 0) + (|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#)) $)) (LETT |q| (CDR |p|) |ILIST;split!;$I$;29|) @@ -407,7 +407,7 @@ ('T (SEQ (LETT |l| (LET ((#0=#:G1511 (QUOTIENT2 |n| 2))) - (|check-subtype| (>= #0# 0) + (|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#)) |ILIST;mergeSort|) (LETT |q| (|ILIST;split!;$I$;29| |p| |l| $) |