aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/info.boot6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/interp/info.boot b/src/interp/info.boot
index 293b1e40..1e9cb6ef 100644
--- a/src/interp/info.boot
+++ b/src/interp/info.boot
@@ -257,8 +257,10 @@ actOnInfo(u,$e) ==
then $e:= augModemapsFromCategory(name,name,name,cat,$e)
else
genDomainView(name,name,cat,"HasCategory")
- if not MEMQ(name,$functorLocalParameters) then
- $functorLocalParameters:=[:$functorLocalParameters,name]
+ -- a domain upgrade at function level is local to that function.
+ if not $insideCapsuleFunctionIfTrue and
+ not MEMQ(name,$functorLocalParameters) then
+ $functorLocalParameters:=[:$functorLocalParameters,name]
compilerMessage('"augmenting %1: %2p", [name,cat])
$e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e)
SAY("extension of ",vval," to ",cat," ignored")