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|)))
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/CAGBJN91eZeERJDw%3D3rcCes4xvr0%2BNh4Q%2BBGMzk5LgBp72washQ%40mail.gmail.com.
