From 58dc9f8145468998071a2a69d3dbfb6c710eab39 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 21 May 2011 02:03:15 +0000
Subject: 	* interp/modemap.boot (augModemapsFromDomain): Don't add
 modemaps 	for element types of Vector or List aggregates. 	*
 algebrar/: Adjust algebras that depended on this behaviour.

---
 src/interp/modemap.boot | 17 ++++++++---------
 1 file changed, 8 insertions(+), 9 deletions(-)

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

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
-- 
cgit v1.2.3