From 7f4d5ba0d11c5c7f5bc106655ffb07f37ed453a0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 11 Jan 2009 03:06:06 +0000
Subject: 	* interp/compiler.boot (getSuccessEnvironment): Don't
 specialize 	on `has'. 	(getInverseEnvironment): Likewise. 	*
 algebra/equation2.spad.pamphlet (factorAndSplit$Equation): Fix 
 misuses of `has'. 	* interp/functor.boot (mkTypeForm): Rename from
 mkDomainConstructor.

---
 src/interp/define.boot | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/interp/define.boot')

diff --git a/src/interp/define.boot b/src/interp/define.boot
index e3dc8934..a4c31697 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -870,7 +870,7 @@ genDomainView(viewName,originalName,c,viewSelector) ==
     c is ['SubsetCategory,c',.] => c'
     c
   $e:= augModemapsFromCategory(originalName,viewName,nil,c,$e)
-  cd:= ["%LET",viewName,[viewSelector,originalName,mkDomainConstructor code]]
+  cd:= ["%LET",viewName,[viewSelector,originalName,mkTypeForm code]]
   if null member(cd,$getDomainCode) then
           $getDomainCode:= [cd,:$getDomainCode]
   viewName
@@ -881,7 +881,7 @@ genDomainOps(viewName,dom,cat) ==
   oplist:= substNames(dom,viewName,dom,oplist)
   cd:=
     ["%LET",viewName,['mkOpVec,dom,['LIST,:
-      [['LIST,MKQ op,['LIST,:[mkDomainConstructor mode for mode in sig]]]
+      [['LIST,MKQ op,['LIST,:[mkTypeForm mode for mode in sig]]]
         for [op,sig] in siglist]]]]
   $getDomainCode:= [cd,:$getDomainCode]
   for [opsig,cond,:.] in oplist for i in 0.. repeat
@@ -1417,7 +1417,7 @@ uncons x ==
 bootStrapError(functorForm,sourceFile) ==
   ['COND, _
     ['$bootStrapMode, _
-        ['VECTOR,mkDomainConstructor functorForm,nil,nil,nil,nil,nil]],
+        ['VECTOR,mkTypeForm functorForm,nil,nil,nil,nil,nil]],
     [''T, ['systemError,['LIST,''%b,MKQ CAR functorForm,''%d,'"from", _
       ''%b,MKQ namestring sourceFile,''%d,'"needs to be compiled"]]]]
 
-- 
cgit v1.2.3