From 9fbb89443e0c88ee5e76d95a3eea2ac5ea9916b6 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 19 Feb 2008 00:35:15 +0000
Subject: 	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new 
 functions `parameters' and `body'. 	* algebra/domain.spad.pamphlet: Rename
 from algebra/domain.spad. 	(Category): New category. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include 	CATEGORY.o. 
 (DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule. 	* interp/trace.boot
 (transTraceItem): Use $LangSupportTypes. 	* interp/sys-constants.boot
 ($None): New. 	($Type): Likewise. 	($LangSupportTypes): Likewise. 	*
 interp/parse.boot (parseHas): Use $LangSupportTypes. 	(parseHasRhs):
 Likewise. 	* interp/i-spec2.boot (upLETtype): Use conceptualType. 
 (uptypeOf): Likewise. 	(upwhere): Likewise. 	(typeOfType): Remove. 	*
 interp/i-spec1.boot (isDomainValuedVariable): Variables with 	type Category
 and Type are domain valued too. 	* interp/i-output.boot (output):
 Special case only Mode and Type. 	* interp/i-funsel.boot (selectMms):
 Don't ignore modemaps with 	category parameters. 	* interp/i-coerce.boot
 (canCoerce1): Test for Category instead of 	SubDomain Domain. 
 (canCoerceFrom0): Use $None and $Any. 	(absolutelyCannotCoerce): Use $None. 
 (coerceInteractive): Use $LangSupportTypes. 	(coerceInt1): Use $Any. 
 * interp/i-analy.boot (conceptualType): New. 	(bottomUpType): Use it. 
 * interp/clammed.boot (isValidType): Use $LangSupportTypes. 	*
 interp/g-cndata.boot (isNameOfType): Likewise. 	* interp/category.boot
 (Category): Remove hacky definition. 	* interp/buildom.boot
 ($noCategoryDomains): Domain now has a 	Lisplib.

---
 src/interp/sys-constants.boot | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'src/interp/sys-constants.boot')

diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot
index 5a9196ec..a644e2b6 100644
--- a/src/interp/sys-constants.boot
+++ b/src/interp/sys-constants.boot
@@ -291,6 +291,10 @@ $Void ==
 $Any ==
   '(Any)
 
+++ The None domain constructor form.
+$None ==
+  '(None)
+
 ++ The Syntax domain constructor form
 $Syntax ==
   '(Syntax)
@@ -417,6 +421,10 @@ $Primitives ==
 $Category ==
   '(Category)
 
+++ The Type category constructor form.
+$Type ==
+  '(Type)
+
 ++ Domain constructor form
 ++ FIXME: Find where this is used in the system.
 $Domain ==
@@ -463,6 +471,9 @@ $DomainNames ==
     Vector _
     Enumeration)
 
+++ List of language support constructor forms.
+$LangSupportTypes ==
+  '((Mode) (Domain) (Type) (Category))
 
 ++
 $NonMentionableDomainNames ==
-- 
cgit v1.2.3