else
()
end
- handle IO.Io _ => ()
+ handle IO.Io {name, function, ...} =>
+ (print ("IO error processing user " ^ user ^ ": " ^ function ^ ": " ^ name ^ "\n");
+ ok := false)
| OS.SysErr (s, _) => (print ("System error processing user " ^ user ^ ": " ^ s ^ "\n");
ok := false)
| ErrorMsg.Error => (ErrorMsg.reset ();