+val srv_host = fn (EApp ((EVar "srv_literal", _), e), _) =>
+ Option.map Literal (Env.string e)
+ | (EVar "srv_wildcard", _) =>
+ SOME Wildcard
+ | (EVar "srv_default", _) =>
+ SOME Default
+ | _ => NONE
+
val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) =>
(case (host e1, Domain.ip e2) of
(SOME v1, SOME v2) => SOME (A (v1, v2))
val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) =>
(case (host e1, Domain.ip e2) of
(SOME v1, SOME v2) => SOME (A (v1, v2))
(SOME v1, SOME v2) => SOME (AAAA (v1, v2))
| _ => NONE)
| (EApp ((EApp ((EVar "dnsTXT", _), e1), _), e2), _) =>
(SOME v1, SOME v2) => SOME (AAAA (v1, v2))
| _ => NONE)
| (EApp ((EApp ((EVar "dnsTXT", _), e1), _), e2), _) =>
(SOME v1, SOME v2) => SOME (TXT (v1, v2))
| _ => NONE)
| (EApp ((EVar "dnsAFSDB", _), e), _) =>
Option.map AFSDB (Env.string e)
| (EApp ((EApp ((EApp ((EApp ((EApp ((EVar "dnsSRV", _), e1), _), e2), _), e3), _), e4), _), e5), _) =>
(SOME v1, SOME v2) => SOME (TXT (v1, v2))
| _ => NONE)
| (EApp ((EVar "dnsAFSDB", _), e), _) =>
Option.map AFSDB (Env.string e)
| (EApp ((EApp ((EApp ((EApp ((EApp ((EVar "dnsSRV", _), e1), _), e2), _), e3), _), e4), _), e5), _) =>
- (case (Env.string e1, Env.int e2, Env.int e3, Env.int e4, Env.string e5) of
+ (case (srv_host e1, Env.int e2, Env.int e3, Env.int e4, Env.string e5) of
(SOME v1, SOME v2, SOME v3, SOME v4, SOME v5) => SOME (SRV (v1, v2, v3, v4, v5))
| _ => NONE)
| _ => NONE
(SOME v1, SOME v2, SOME v3, SOME v4, SOME v5) => SOME (SRV (v1, v2, v3, v4, v5))
| _ => NONE)
| _ => NONE
- | SRV (from, priority, weight, port, to) => (write from;
- write ".";
+ | SRV (from, priority, weight, port, to) => (write (hostS from);
size s > 0 andalso size s < 20
andalso CharVector.all (fn ch => Domain.isIdent ch orelse ch = #"-" orelse ch = #"_") s
size s > 0 andalso size s < 20
andalso CharVector.all (fn ch => Domain.isIdent ch orelse ch = #"-" orelse ch = #"_") s