syndicate-lang
/
racket-dns-2012
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Annotations to let it use IPv4/IPv6 types.

This commit is contained in:
Tony Garnock-Jones 2013-03-13 18:27:13 -04:00
parent af9fa2cea8
commit 7215888fcb
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
codec.rkt
View File

@ -456,10 +456,10 @@
strs)))
((a) (bit-string-case rdata
([ a b c d ]
(vector a b c d))))
(ann (vector a b c d) IPv4))))
((aaaa) (bit-string-case rdata
([ (ipv6-addr :: binary bits 128) ]
(list->vector (bytes->list (bit-string->bytes ipv6-addr))))))
([ a b c d e f g h i j k l m n o p ]
(ann (vector a b c d e f g h i j k l m n o p) IPv6))))
((wks) (bit-string-case rdata
([ a b c d protocol (bitmap :: binary) ]
(wks (vector a b c d) protocol (bit-string->bytes bitmap)))))