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

call/input-url - support headers and polymorphism

Browse Source 
The types are tweaked to match the contracts and to support passing a
list of headers to the connect procedure.

The FIXME for polymorphism has also been removed as it is now
parameterized to support "...The result of the handle procedure is the
result of call/input-url..."

original commit: d534b19167efcd265ef16d698ebd396cec32c38b
This commit is contained in:
hopkinsr 2014-06-08 08:45:10 +01:00 committed by Asumu Takikawa
parent 595c189456
commit 542fe0fbb7
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-more/typed/net/url.rkt
View File

@ -66,7 +66,9 @@
[make-http-connection (-> HTTP-Connection)]
[http-connection-close (HTTP-Connection -> Void)]
[call/input-url (case-lambda [url url (Input-Port -> Any) -> Any])] ;;FIXME - need polymorphism
[call/input-url (All (T) (case-lambda
[url (url -> Input-Port) (Input-Port -> T) -> T]
[url (url (Listof String) -> Input-Port) (Input-Port -> T) (Listof String) -> T]))]
[current-proxy-servers (Parameter (Listof (List String String Integer)))]