suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjust type for dns-get-address

Browse Source
This commit is contained in:
Asumu Takikawa 2013-04-04 15:52:55 -04:00
parent 04f535cadc
commit 35e791be4e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed/net/dns.rkt
View File

@ -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))])