diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-21 02:03:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-21 02:03:15 +0000 |
| commit | 58dc9f8145468998071a2a69d3dbfb6c710eab39 (patch) | |
| tree | 55dc479b3854da39e13abd1281904e148e7f3f7e /src/interp/modemap.boot | |
| parent | 8887fe1d244a40fdc3980d87e30f445249ecdf2e (diff) | |
| download | open-axiom-58dc9f8145468998071a2a69d3dbfb6c710eab39.tar.gz | |
* interp/modemap.boot (augModemapsFromDomain): Don't add modemaps
for element types of Vector or List aggregates.
* algebrar/: Adjust algebras that depended on this behaviour.
Diffstat (limited to 'src/interp/modemap.boot')
| -rw-r--r-- | src/interp/modemap.boot | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/src/interp/modemap.boot b/src/interp/modemap.boot index cd69da0f..e1475d26 100644 --- a/src/interp/modemap.boot +++ b/src/interp/modemap.boot @@ -227,11 +227,10 @@ addNewDomain(domain,e) == augModemapsFromDomain(name,functorForm,e) == symbolMember?(KAR name or name,$DummyFunctorNames) => e - name=$Category or isCategoryForm(name,e) => e - listMember?(name,curDomainsInScope:= getDomainsInScope e) => e + name = $Category or isCategoryForm(name,e) => e + listMember?(name,getDomainsInScope e) => e if super := superType functorForm then e := addNewDomain(super,e) - if innerDom:= listOrVectorElementMode name then e:= addDomain(innerDom,e) if name is ["Union",:dl] then for d in stripUnionTags dl repeat e:= addDomain(d,e) augModemapsFromDomain1(name,functorForm,e) @@ -239,18 +238,18 @@ augModemapsFromDomain(name,functorForm,e) == augModemapsFromDomain1(name,functorForm,e) == property(KAR functorForm,"makeFunctionList") => addConstructorModemaps(name,functorForm,e) - atom functorForm and (catform:= getmode(functorForm,e)) => + atom functorForm and (catform := getmode(functorForm,e)) => augModemapsFromCategory(name,name,functorForm,catform,e) - mappingForm:= getmodeOrMapping(KAR functorForm,e) => - ["Mapping",categoryForm,:functArgTypes]:= mappingForm - catform:= substituteCategoryArguments(rest functorForm,categoryForm) + mappingForm := getmodeOrMapping(KAR functorForm,e) => + ["Mapping",categoryForm,:functArgTypes] := mappingForm + catform := substituteCategoryArguments(rest functorForm,categoryForm) augModemapsFromCategory(name,name,functorForm,catform,e) stackMessage('"%1pb is an unknown mode",[functorForm]) e substituteCategoryArguments(argl,catform) == - argl:= substitute("$$","$",argl) - arglAssoc:= [[INTERNL("#",STRINGIMAGE i),:a] for i in 1.. for a in argl] + argl := substitute("$$","$",argl) + arglAssoc := [[INTERNL("#",STRINGIMAGE i),:a] for i in 1.. for a in argl] applySubst(arglAssoc,catform) --Called, by compDefineFunctor, to add modemaps for $ that may |