TextIO.output (outf, value)))
val writeClasses = SM.appi (fn (class, values) =>
- (TextIO.output (outf, class);
- writeValues values;
- TextIO.output (outf, "\n")))
+ if SS.isEmpty values then
+ ()
+ else
+ (TextIO.output (outf, class);
+ writeValues values;
+ TextIO.output (outf, "\n")))
val writeUsers = SM.appi (fn (user, classes) =>
- (TextIO.output (outf, user);
- TextIO.output (outf, "\n");
- writeClasses classes;
- TextIO.output (outf, "\n")))
+ if SM.numItems classes = 0 then
+ ()
+ else
+ (TextIO.output (outf, user);
+ TextIO.output (outf, "\n");
+ writeClasses classes;
+ TextIO.output (outf, "\n")))
in
writeUsers (!acl);
TextIO.closeOut outf