aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/interp/info.boot6
2 files changed, 9 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 44bf6a01..e5495d95 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2009-06-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/info.boot (actOnInfo): Don't remember new domain names if
+ at capsule function scope.
+
2009-06-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/parse.boot (parseDropAssertions): Remove.
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")