diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-02 09:28:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 09:28:50 +0000 |
| commit | 6835b7615420cbb3d0db15c2a5ab1c5785ff40dd (patch) | |
| tree | 3679cc4ae483ac59cce2649bbf346fd02787fa47 /src/interp/modemap.boot | |
| parent | 927875aade5720ec0e0cfbe741988011a604678f (diff) | |
| download | open-axiom-6835b7615420cbb3d0db15c2a5ab1c5785ff40dd.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/modemap.boot')
| -rw-r--r-- | src/interp/modemap.boot | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index ce3b64cc..38c00d28 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -313,7 +313,8 @@ augModemapsFromCategory(domainName,domainView,functorForm,categoryForm,e) == evalAndSub(domainName,viewName,functorForm,form,$e) == $lhsOfColon: local:= domainName - categoryObject? form => [substNames(domainName,viewName,functorForm,form.1),$e] + categoryObject? form => + [substNames(domainName,viewName,functorForm,categoryExports form),$e] --next lines necessary-- see MPOLY for which $ is actual arg. --- RDJ 3/83 if CONTAINED("$$",form) then $e:= put("$$","mode",get("$","mode",$e),$e) opAlist:= getOperationAlist(domainName,functorForm,form) @@ -327,8 +328,9 @@ getOperationAlist(name,functorForm,form) == (u:= isFunctor functorForm) and not ($insideFunctorIfTrue and first functorForm=first $functorForm) => u $insideFunctorIfTrue and name="$" => - ($domainShell => $domainShell.1; systemError '"$ has no shell now") - T:= compMakeCategoryObject(form,$e) => ([.,.,$e]:= T; T.expr.1) + $domainShell => categoryExports $domainShell + systemError '"$ has no shell now" + T:= compMakeCategoryObject(form,$e) => ([.,.,$e]:= T; categoryExports T.expr) stackMessage('"not a category form: %1bp",[form]) substNames(domainName,viewName,functorForm,opalist) == |