From 510c2f70ce377d60eed221e46294767f7f548f5d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 22 Jul 2010 16:15:30 +0000 Subject: * 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. --- src/algebra/strap/ILIST.lsp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/strap/ILIST.lsp') 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| $) -- cgit v1.2.3