extern val dnsCNAME : host -> domain -> dnsRecord;
extern val dnsMX : int -> domain -> dnsRecord;
extern val dnsNS : domain -> dnsRecord;
+extern val dnsTXT : host -> no_newlines -> dnsRecord;
extern val dnsDefaultA : ip -> dnsRecord;
extern val dnsDefaultAAAA : ipv6 -> dnsRecord;
val dnsAlias = \from -> \to -> dns (dnsCNAME from to);
val dnsDefault = \to -> dns (dnsDefaultA to);
val dnsDefaultv6 = \to -> dns (dnsDefaultAAAA to);
+val dnsText = \from -> \to -> dns (dnsTXT from to);
| DefaultA of string
| AAAA of string * string
| DefaultAAAA of string
+ | TXT of string * string
val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) =>
(case (Env.string e1, Domain.ip e2) of
| _ => NONE)
| (EApp ((EVar "dnsDefaultAAAA", _), e), _) =>
Option.map DefaultAAAA (Env.string e)
+ | (EApp ((EApp ((EVar "dnsTXT", _), e1), _), e2), _) =>
+ (case (Env.string e1, Env.string e2) of
+ (SOME v1, SOME v2) => SOME (TXT (v1, v2))
+ | _ => NONE)
| _ => NONE
fun writeRecord (evs, r) =
write "\tIN\tAAAA\t";
write to;
write "\n")
+ | TXT (from, to) => (write from;
+ write ".";
+ writeDom ();
+ write ".\t";
+ write (Int.toString ttl);
+ write "\tIN\tTXT\t\"";
+ write (String.translate (fn #"\"" => "\\\"" | ch => str ch) to);
+ write "\"\n")
end
val () = Env.actionV_one "dns"