diff options
Diffstat (limited to 'src/interp/info.boot')
| -rw-r--r-- | src/interp/info.boot | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/info.boot b/src/interp/info.boot index 878b78b0..23a15dfc 100644 --- a/src/interp/info.boot +++ b/src/interp/info.boot @@ -214,11 +214,11 @@ actOnInfo(u,$e) == $e:= actOnInfo(v,$e) $e u is ["ATTRIBUTE",name,att] => - [vval,vmode,venv]:= GetValue name + [vval,vmode,.]:= GetValue name 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),venv],$e) + $e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e) --there is nowhere %else that this sort of thing exists u is ["SIGNATURE",name,operator,modemap,:q] => kind := @@ -230,14 +230,14 @@ actOnInfo(u,$e) == name = "$" => [kind,name,-1] [kind,name,substitute('$,name,modemap)] $e:= addModemap(operator,name,modemap,true,implem,$e) - [vval,vmode,venv]:= GetValue name + [vval,vmode,.]:= GetValue name compilerMessage('"augmenting %1: %2p", [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),venv],$e) + $e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e) u is ["has",name,cat] => - [vval,vmode,venv]:= GetValue name + [vval,vmode,.]:= GetValue name cat=vmode => $e --stating the already known u:= compMakeCategoryObject(cat,$e) => --we are adding information about a category @@ -255,7 +255,7 @@ actOnInfo(u,$e) == if not MEMQ(name,$functorLocalParameters) then $functorLocalParameters:=[:$functorLocalParameters,name] compilerMessage('"augmenting %1: %2p", [name,cat]) - $e:= put(name,"value",[vval,mkJoin(cat,vmode),venv],$e) + $e:= put(name,"value",[vval,mkJoin(cat,vmode),$noEnv],$e) SAY("extension of ",vval," to ",cat," ignored") $e systemError ['"actOnInfo",u] |