[PATCH] remove "NegativeInteger"

[oldk1331]

This type "NegativeInteger" is only referenced in compiler
and not used anymore, I think it's safe to remove.

diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 8aba6f5c..ef05461b 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -341,7 +341,7 @@
   INTEGERP x =>
     x=0 => $NonNegativeInteger
     x>0 => $PositiveInteger
-    true => $NegativeInteger
+    $Integer
   FLOATP x => $DoubleFloat
   nil

diff --git a/src/interp/property.lisp b/src/interp/property.lisp
index e5a81329..b48233fd 100644
--- a/src/interp/property.lisp
+++ b/src/interp/property.lisp
@@ -261,7 +261,6 @@
 (MAKEPROP '|Integer| '|Subsets|
   '((|PositiveInteger| . (|>| * 0))
     (|NonNegativeInteger| . (|>=| * 0))
-    (|NegativeInteger| . (|<| * 0))
     (|SingleInteger| . (SINTP *))
     ))

diff --git a/src/interp/setq.lisp b/src/interp/setq.lisp
index 7b785d24..7a049d17 100644
--- a/src/interp/setq.lisp
+++ b/src/interp/setq.lisp
@@ -340,7 +340,6 @@

 (SETQ |$Integer| '(|Integer|))
 (SETQ |$ComplexInteger| (LIST '|Complex| |$Integer|))
-(SETQ |$NegativeInteger| '(|NegativeInteger|))
 (SETQ |$NonNegativeInteger| '(|NonNegativeInteger|))
 (SETQ |$PositiveInteger| '(|PositiveInteger|))
 (SETQ |$RationalNumber| '(|Fraction| (|Integer|)))

[Waldek Hebisch]

oldk1331 wrote:
> This type "NegativeInteger" is only referenced in compiler
> and not used anymore, I think it's safe to remove.

Yes, please commit.

--
Waldek Hebisch