diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-10 04:21:48 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-10 04:21:48 +0000 |
commit | d8eca6ec8ed4ebe3bba40af4f6534458e92b6633 (patch) | |
tree | 4c7010f9fabfb08e112ce2a0b035e8a9d78d2f4a /src/interp/info.boot | |
parent | 4be0127f28037c3d281eb6a9ea2627a01b78b256 (diff) | |
download | open-axiom-d8eca6ec8ed4ebe3bba40af4f6534458e92b6633.tar.gz |
* interp/sys-constants.boot ($noEnv): Remove.
* interp/info.boot (actOnInfo): Adjust.
Diffstat (limited to 'src/interp/info.boot')
-rw-r--r-- | src/interp/info.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/info.boot b/src/interp/info.boot index 15d0bb08..9eba51de 100644 --- a/src/interp/info.boot +++ b/src/interp/info.boot @@ -223,7 +223,7 @@ actOnInfo(u,$e) == compilerMessage('"augmenting %1: %2p", [name,["ATTRIBUTE",att]]) key:= if CONTAINED("$",vmode) then "domain" else name cat:= ["CATEGORY",key,["ATTRIBUTE",att]] - $e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e) + $e:= put(name,"value",[vval,mkJoin(cat,vmode),nil],$e) --there is nowhere %else that this sort of thing exists u is ["SIGNATURE",name,operator,modemap,:q] => kind := @@ -240,7 +240,7 @@ actOnInfo(u,$e) == [name,["SIGNATURE",operator,modemap,:q]]) key:= if CONTAINED("$",vmode) then "domain" else name cat:= ["CATEGORY",key,["SIGNATURE",operator,modemap,:q]] - $e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e) + $e:= put(name,"value",[vval,mkJoin(cat,vmode),nil],$e) u is ["has",name,cat] => [vval,vmode,.]:= GetValue name cat=vmode => $e --stating the already known @@ -262,7 +262,7 @@ actOnInfo(u,$e) == not MEMQ(name,$functorLocalParameters) then $functorLocalParameters:=[:$functorLocalParameters,name] compilerMessage('"augmenting %1: %2p", [name,cat]) - $e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e) + $e:= put(name,"value",[vval,mkJoin(cat,vmode),nil],$e) SAY("extension of ",vval," to ",cat," ignored") $e systemError ['"actOnInfo",u] |