| 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), _) =>