datatype aliasSource =
User of string
| Default
- | CatchAll
val source = fn (EApp ((EVar "userSource", _), e), _) =>
Option.map User (Env.string e)
| (EVar "defaultSource", _) => SOME Default
- | (EVar "catchAllSource", _) => SOME CatchAll
| _ => NONE
datatype aliasTarget =
write ": ";
writeTarget (write, t);
write "\n")
- | Default => (write "*@";
- writeDom ();
- write ": ";
- writeTarget (write, t);
- write "\n")
- | CatchAll => (writeD "*@";
- writeDomD ();
- writeD ": ";
- writeTarget (writeD, t);
- writeD "\n")
+ | Default => (writeD "*@";
+ writeDomD ();
+ writeD ": ";
+ writeTarget (writeD, t);
+ writeD "\n")
end
val _ = Env.actionV_two "aliasPrim"