diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-10 17:10:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-10 17:10:58 +0000 |
| commit | 583976f30783abbf02f64abca8796d5a28111b76 (patch) | |
| tree | 2e9f71c9d505bf990804b2b5299181627533d828 /src/interp/info.boot | |
| parent | 20a8ad75b7e37bb087342e80e3f1c18eb74e4af8 (diff) | |
| download | open-axiom-583976f30783abbf02f64abca8796d5a28111b76.tar.gz | |
Misc cleanup.
Diffstat (limited to 'src/interp/info.boot')
| -rw-r--r-- | src/interp/info.boot | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/interp/info.boot b/src/interp/info.boot index 8f8cd290..e71e1218 100644 --- a/src/interp/info.boot +++ b/src/interp/info.boot @@ -223,7 +223,7 @@ actOnInfo(u,$e) == $e u is ["ATTRIBUTE",name,att] => [vval,vmode,venv]:= GetValue name - SAY("augmenting ",name,": ",u) + 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) @@ -236,7 +236,8 @@ actOnInfo(u,$e) == ['ELT,name,substitute('$,name,modemap)] $e:= addModemap(operator,name,modemap,true,implem,$e) [vval,vmode,venv]:= GetValue name - SAY("augmenting ",name,": ",u) + compilerMessage('"augmenting %1: %2p", + [name,["SIGNATURE",operator,modemap]]) key:= if CONTAINED("$",vmode) then "domain" else name cat:= ["CATEGORY",key,["SIGNATURE",operator,modemap]] $e:= put(name,"value",[vval,mkJoin(cat,vmode),venv],$e) @@ -268,7 +269,7 @@ actOnInfo(u,$e) == genDomainView(viewName,name,cat,"HasCategory") if not MEMQ(viewName,$functorLocalParameters) then $functorLocalParameters:=[:$functorLocalParameters,viewName] - SAY("augmenting ",name,": ",cat) + compilerMessage('"augmenting %1: %2p", [name,cat]) $e:= put(name,"value",[vval,mkJoin(cat,vmode),venv],$e) SAY("extension of ",vval," to ",cat," ignored") $e |