diff options
Diffstat (limited to 'src/interp/modemap.boot')
-rw-r--r-- | src/interp/modemap.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index d1256d48..1fabebd8 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -260,7 +260,7 @@ substituteCategoryArguments(argl,catform) == augModemapsFromCategoryRep(domainName,repDefn,functorBody,categoryForm,e) == [fnAlist,e]:= evalAndSub(domainName,domainName,domainName,categoryForm,e) [repFnAlist,e]:= evalAndSub("Rep","Rep",repDefn,getmode(repDefn,e),e) - catform:= (isCategory categoryForm => categoryForm.(0); categoryForm) + catform:= (isCategory categoryForm => categoryForm.0; categoryForm) compilerMessage('"Adding %1p modemaps",[domainName]) e:= putDomainsInScope(domainName,e) for [lhs:=[op,sig,:.],cond,fnsel] in fnAlist repeat @@ -281,7 +281,7 @@ AMFCR_,redefined(opname,u) == augModemapsFromCategory(domainName,domainView,functorForm,categoryForm,e) == [fnAlist,e]:= evalAndSub(domainName,domainView,functorForm,categoryForm,e) - -- catform:= (isCategory categoryForm => categoryForm.(0); categoryForm) + -- catform:= (isCategory categoryForm => categoryForm.0; categoryForm) -- catform appears not to be used, so why set it? --if not $InteractiveMode then compilerMessage('"Adding %1p modemaps",[domainName]) @@ -314,7 +314,7 @@ augModemapsFromCategory(domainName,domainView,functorForm,categoryForm,e) == evalAndSub(domainName,viewName,functorForm,form,$e) == $lhsOfColon: local:= domainName - isCategory form => [substNames(domainName,viewName,functorForm,form.(1)),$e] + isCategory form => [substNames(domainName,viewName,functorForm,form.1),$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) @@ -328,8 +328,8 @@ 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 => $domainShell.1; systemError '"$ has no shell now") + T:= compMakeCategoryObject(form,$e) => ([.,.,$e]:= T; T.expr.1) stackMessage('"not a category form: %1bp",[form]) substNames(domainName,viewName,functorForm,opalist) == |