| NS of string
val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) =>
- (case (Env.string e1, Env.string e2) of
+ (case (Env.string e1, Domain.ip e2) of
(SOME v1, SOME v2) => SOME (A (v1, v2))
| _ => NONE)
| (EApp ((EApp ((EVar "dnsCNAME", _), e1), _), e2), _) =>
TextIO.output (outf, ns);
TextIO.output (outf, ".\thostmaster.");
TextIO.output (outf, #domain fs);
- TextIO.output (outf, ".\n( ");
+ TextIO.output (outf, ". ( ");
TextIO.output (outf, Int.toString 123456789);
TextIO.output (outf, " ");
TextIO.output (outf, Int.toString rf);