Explicitly ignore DNSSEC uses of DNS header bits.

2014-05-14 15:36:06 -04:00 · 2014-05-14 15:36:06 -04:00 · 903aa1168b
parent fe320d86ce
commit 903aa1168b
1 changed files with 1 additions and 1 deletions
--- a/codec.rkt
+++ b/codec.rkt
@ -216,7 +216,7 @@
       (tc :: (t:named-bit 'not-truncated 'truncated))
       (rd :: (t:named-bit 'no-recursion-desired 'recursion-desired))
       (ra :: (t:named-bit 'no-recursion-available 'recursion-available))
-       (= 0 :: bits 3)
+       (:: bits 3) ;; previously, had to be zero; now, Z, AD and CD respectively. See RFC 2535.
       (rcode :: bits 4)

       (qdcount :: bits 16)