From 510c2f70ce377d60eed221e46294767f7f548f5d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
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/NNI.lsp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/algebra/strap/NNI.lsp')

diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp
index 4347bb34..dbe1dda2 100644
--- a/src/algebra/strap/NNI.lsp
+++ b/src/algebra/strap/NNI.lsp
@@ -2,7 +2,7 @@
 (/VERSIONCHECK 2) 
 
 (|noteSubDomainInfo| '|NonNegativeInteger| '(|Integer|)
-    '(|%ige| |#1| 0)) 
+    '(|%not| (|%ilt| |#1| 0))) 
 
 (DECLAIM (FTYPE (FUNCTION
                     ((|%IntegerSection| 0) (|%IntegerSection| 0)
@@ -36,7 +36,8 @@
       ((MINUSP |c|) (CONS 1 "failed"))
       ('T
        (CONS 0
-             (|check-subtype| (>= |c| 0) '(|NonNegativeInteger|) |c|)))))) 
+             (|check-subtype| (NOT (MINUSP |c|))
+                 '(|NonNegativeInteger|) |c|)))))) 
 
 (DEFUN |NonNegativeInteger| ()
   (DECLARE (SPECIAL |$ConstructorCache|))
-- 
cgit v1.2.3