Lines Matching refs:tag
74 fun polish0 tag =
75 trashsfxes ["Theory", "Theory.sig", "Theory.sml", "Theory.dat"] tag
169 fun stdhandle tag f =
170 case Binarymap.peek (!monitor_map, tag) of
171 NONE => (warn ("Lost monitor info for "^tag); NONE)
173 fun taginfo tag colour s =
177 (delsml_sfx tag) ^
181 StartJob (_, tag) =>
183 val strm = TextIO.openOut (genLogFile{tag = tag})
190 Binarymap.insert(!monitor_map, tag, ((strm, tb), MRunning #"|"));
191 startmsg tag;
195 | Output((_, tag), t, chan, msg) =>
196 stdhandle tag
206 Binarymap.insert(!monitor_map, tag,
211 | NothingSeen(jkey as (_, tag), {delay,...}) =>
223 Binarymap.insert(!monitor_map, tag, (strm, stat'));
229 tag
233 | Terminated((_, tag), st, _) =>
234 stdhandle tag
240 val taginfo = taginfo tag
254 monitor_map := #1 (Binarymap.remove(!monitor_map, tag));
259 | MonitorKilled((_, tag), _) =>
260 stdhandle tag
262 (taginfo tag red "M-KILLED";
264 monitor_map := #1 (Binarymap.remove(!monitor_map, tag));