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

Adjust type for dns-get-address

Browse Source 
original commit: 35e791be4eed4d67dfe4e91e5fb4cd22fb824b71
This commit is contained in:
Asumu Takikawa 2013-04-04 15:52:55 -04:00
parent 1bc88189d1
commit 3e82fb429d
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))])