- (fn s => app (fn file => #write file s) files,
- fn () => app (fn file => #writeDom file ()) files)
+ (fn s => app (fn file => #write file s) (files ()),
+ fn () => app (fn file => #writeDom file ()) (files ()))
val source = fn (EApp ((EVar "userSource", _), e), _) =>
Option.map User (Env.string e)
| (EVar "defaultSource", _) => SOME Default
val source = fn (EApp ((EVar "userSource", _), e), _) =>
Option.map User (Env.string e)
| (EVar "defaultSource", _) => SOME Default
- | Default => (write "*@";
- writeDom ();
- write ": ";
- writeTarget (write, t);
- write "\n")
- | CatchAll => (writeD "*@";
- writeDomD ();
- writeD ": ";
- writeTarget (writeD, t);
- writeD "\n")
+ | Default => (reopenAliasesD ();
+ writeD "*@";
+ writeDomD ();
+ writeD ": ";
+ writeTarget (writeD, t);
+ writeD "\n")