From 3e82fb429d12e0c3568379aeec68a1b400ef0841 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 4 Apr 2013 15:52:55 -0400 Subject: [PATCH] Adjust type for `dns-get-address` original commit: 35e791be4eed4d67dfe4e91e5fb4cd22fb824b71 --- collects/typed/net/dns.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed/net/dns.rkt b/collects/typed/net/dns.rkt index db33203c..1f8e42d3 100644 --- a/collects/typed/net/dns.rkt +++ b/collects/typed/net/dns.rkt @@ -3,7 +3,7 @@ (require typed/private/utils) (require/typed/provide net/dns - [dns-get-address (String String -> String)] + [dns-get-address (String String [#:ipv6? Any] -> String)] [dns-get-name (String String -> String)] [dns-get-mail-exchanger (String String -> String )] [dns-find-nameserver (-> (Option String))])