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/INS-.lsp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/strap/INS-.lsp') diff --git a/src/algebra/strap/INS-.lsp b/src/algebra/strap/INS-.lsp index 794d4374..6df95b2e 100644 --- a/src/algebra/strap/INS-.lsp +++ b/src/algebra/strap/INS-.lsp @@ -125,10 +125,10 @@ (|error| "euclideanSize called on zero")) ((SPADCALL |x| (|spadConstant| $ 10) (|getShellEntry| $ 28)) (LET ((#0=#:G1426 (- (SPADCALL |x| (|getShellEntry| $ 30))))) - (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|) #0#))) + (|check-subtype| (NOT (MINUSP #0#)) '(|NonNegativeInteger|) #0#))) ('T (LET ((#1=#:G1427 (SPADCALL |x| (|getShellEntry| $ 30)))) - (|check-subtype| (>= #1# 0) '(|NonNegativeInteger|) #1#))))) + (|check-subtype| (NOT (MINUSP #1#)) '(|NonNegativeInteger|) #1#))))) (DEFUN |INS-;convert;SF;10| (|x| $) (SPADCALL (SPADCALL |x| (|getShellEntry| $ 30)) -- cgit v1.2.3