From f2cf641d13e1588e316468dc7f679d65f4633f26 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 23 Dec 2007 22:41:38 +0000
Subject: [PATCH] TXT DNS records

---
 lib/bind.dtl         |  1 +
 lib/easy_domain.dtl  |  1 +
 src/plugins/bind.sml | 13 +++++++++++++
 3 files changed, 15 insertions(+)

diff --git a/lib/bind.dtl b/lib/bind.dtl
index 9cbc2fb..09d71e1 100644
--- a/lib/bind.dtl
+++ b/lib/bind.dtl
@@ -7,6 +7,7 @@ extern val dnsAAAA : host -> ipv6 -> dnsRecord;
 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;
diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl
index 56bc092..47d8df7 100644
--- a/lib/easy_domain.dtl
+++ b/lib/easy_domain.dtl
@@ -80,3 +80,4 @@ val dnsMail = \num -> \host -> dns (dnsMX num host);
 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);
diff --git a/src/plugins/bind.sml b/src/plugins/bind.sml
index 89b3938..53c1d04 100644
--- a/src/plugins/bind.sml
+++ b/src/plugins/bind.sml
@@ -52,6 +52,7 @@ datatype dns_record =
        | 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
@@ -75,6 +76,10 @@ val record = fn (EApp ((EApp ((EVar "dnsA", _), e1), _), e2), _) =>
 		   | _ => 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) =
@@ -138,6 +143,14 @@ 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"
-- 
2.20.1