patch from David Van Horn to fix PR 9078

svn: r8658
This commit is contained in:
Matthew Flatt 2008-02-14 02:56:18 +00:00
parent 497c56ce3a
commit a191b1e7e9

View File

@ -41,11 +41,16 @@
(display-pure-port (input-port? . -> . void?))
(purify-port (input-port? . -> . string?))
(netscape/string->url (string? . -> . url?))
(call/input-url (opt->* (url?
(opt-> (url?) ((listof string?)) input-port?)
(input-port? . -> . any))
((listof string?))
any))
(call/input-url (case->
(-> url?
(-> url? input-port?)
(-> input-port? any)
any)
(-> url?
(-> url? (listof string?) input-port?)
(-> input-port? any)
(listof string?)
any)))
(combine-url/relative (url? string? . -> . url?))
(url-exception? (any/c . -> . boolean?))
(current-proxy-servers