From ad0d6445de436a1c7c04cfe14316d620cb9202b3 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 3 Jan 2009 10:26:16 +0000
Subject: 2009-01-03  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* Makefile.pamphlet (AXIOM_SRC_TARGETS): Add all-databases.

src/ChangeLog
2009-01-03  Gabriel Dos Reis  <gdr@cs.tamu.edu>

	* lisp/core.lisp.in (|%algebraSystemIsComplete|): New.
	(|%basicSystemIsComplete|): Use it.
	* interp/wi1.boot (setqSingle): Use maximalSuperType.
	(coerceSubset): Simplify.
	(compCoerce1): Tidy.
	* interp/i-resolv.boot (resolveTCat): Use superType.
	* interp/lisplib.boot (findConstructorSlotNumber): Use isSubset.
	(sigsMatch): Likewise.
	(findDomainSlotNumber): Likewise.
	* interp/define.boot (compSubDomain1): Reject for complex subdomain
	predicate.  Support paramterized subdomains.
	* interp/daase.lisp (interpOpen): Read superdomain slot.
	(getdatabase): Remove adhoc hardcoded superdomain info.
	Return superdomain info stored in database.
	(localnrlib): Read superdomain info.
	(write-interpdb): Write superdomain info.
	(database): Add superdomain slot.
	* interp/g-util.boot (superType): New.
	(maximalSuperType): Rework.  Support parameterized subdomains.
	(noteSubDomainInfo): New.
	(isSubDomain): Rework.
	* interp/c-util.boot (isSubset): Rework.
	* interp/g-opt.boot (optEQ): Remove.
	* interp/g-cndata.boot (getImmediateSuperDomain): Remove.
	(maximalSuperType): Move to g-util.boot.
	* interp/types.boot (%Constructor): New type specifier.
	(%Instantiation): Likewise.
	* interp/compiler.boot (primitiveType): Don't return $NegativeInteger.
	(maxSuperType): Remove.
	(hasType): Use maximalSuperType.
	(satisfies): New.
	(coerceSubset): Use it.  Simplify.
	* interp/wi2.boot (smallIntegerStep): Use maximalSuperType.
	* interp/sys-constants.boot ($AtVariables): New.
	($NegativeInteger): Remove.
	($NonPositiveInteger): Likewise.
	($CategoryNames): Category is not a category.
	* interp/property.lisp: Remove Subsets property settings.
	* interp/i-coerce.boot (coerceSubDomain): Simplify.
	(coerceImmediateSubDomain): Remove.
	(getSubDomainPredicate): Simplify.
	* interp/category.boot (SourceLevelSubset): Use isSubDomain.
	(MachineLevelSubset): Likewise.
	* interp/modemap.boot (mergeModemap): Likewise.
	(isSuperDomain): Remove.
	(augModemapsFromDomain): Support parameterized subdomains.
	* interp/i-util.boot (isSubDomain): Move to g-util.boot.
	* Makefile.pamphlet (all-databases): New target.
	* interp/Makefile.pamphlet ($(AXIOMSYS)): Push
	:open-axiom-algebra-system onto *FEATURES*.
	* etc/Makefile.in (all-databases): New target.
---
 src/algebra/strap/NNI.lsp  | 11 ++---------
 src/algebra/strap/PI.lsp   | 11 ++---------
 src/algebra/strap/SINT.lsp |  9 +--------
 3 files changed, 5 insertions(+), 26 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/strap/NNI.lsp b/src/algebra/strap/NNI.lsp
index a6017162..9d034bca 100644
--- a/src/algebra/strap/NNI.lsp
+++ b/src/algebra/strap/NNI.lsp
@@ -1,15 +1,8 @@
 
 (/VERSIONCHECK 2) 
 
-(SETQ |$CategoryFrame|
-      (|put| #0='|NonNegativeInteger| '|SuperDomain| #1='(|Integer|)
-             (|put| #1# '|SubDomain|
-                    (CONS '(|NonNegativeInteger| COND ((< |#1| 0) 'NIL)
-                               ('T 'T))
-                          (DELASC #0#
-                                  (|get| #1# '|SubDomain|
-                                         |$CategoryFrame|)))
-                    |$CategoryFrame|))) 
+(|noteSubDomainInfo| '|NonNegativeInteger| '(|Integer|)
+    '(COND ((< |#1| 0) 'NIL) ('T 'T))) 
 
 (DECLAIM (FTYPE (FUNCTION
                     ((|%IntegerSection| 0) (|%IntegerSection| 0)
diff --git a/src/algebra/strap/PI.lsp b/src/algebra/strap/PI.lsp
index 2cf0e75e..72a7e508 100644
--- a/src/algebra/strap/PI.lsp
+++ b/src/algebra/strap/PI.lsp
@@ -1,15 +1,8 @@
 
 (/VERSIONCHECK 2) 
 
-(SETQ |$CategoryFrame|
-      (|put| #0='|PositiveInteger| '|SuperDomain|
-             #1='(|NonNegativeInteger|)
-             (|put| #1# '|SubDomain|
-                    (CONS '(|PositiveInteger| < 0 |#1|)
-                          (DELASC #0#
-                                  (|get| #1# '|SubDomain|
-                                         |$CategoryFrame|)))
-                    |$CategoryFrame|))) 
+(|noteSubDomainInfo| '|PositiveInteger| '(|NonNegativeInteger|)
+    '(< 0 |#1|)) 
 
 (DEFUN |PositiveInteger| ()
   (PROG ()
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp
index 7db8a6cd..90441a90 100644
--- a/src/algebra/strap/SINT.lsp
+++ b/src/algebra/strap/SINT.lsp
@@ -1,14 +1,7 @@
 
 (/VERSIONCHECK 2) 
 
-(SETQ |$CategoryFrame|
-      (|put| #0='|SingleInteger| '|SuperDomain| #1='(|Integer|)
-             (|put| #1# '|SubDomain|
-                    (CONS '(|SingleInteger| SMINTP |#1|)
-                          (DELASC #0#
-                                  (|get| #1# '|SubDomain|
-                                         |$CategoryFrame|)))
-                    |$CategoryFrame|))) 
+(|noteSubDomainInfo| '|SingleInteger| '(|Integer|) '(SMINTP |#1|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Thing| |%Short| |%Shell|) |%Void|)
                 |SINT;writeOMSingleInt|)) 
-- 
cgit v1.2.3