diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-11 03:06:06 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-11 03:06:06 +0000 |
| commit | 7f4d5ba0d11c5c7f5bc106655ffb07f37ed453a0 (patch) | |
| tree | 16fc67934b5fd41478d4afcf7fdbff90503ed412 /src/interp/define.boot | |
| parent | 3abfe0a7f15ff760fe7c6f95957f705e1301bfc6 (diff) | |
| download | open-axiom-7f4d5ba0d11c5c7f5bc106655ffb07f37ed453a0.tar.gz | |
* 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.
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 6 |
1 files changed, 3 insertions, 3 deletions
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"]]]] |