suzanne.soy/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..."
This commit is contained in:
hopkinsr 2014-06-08 08:45:10 +01:00 committed by Asumu Takikawa
parent 3bd9ab669f
commit d534b19167
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)] [make-http-connection (-> HTTP-Connection)]
[http-connection-close (HTTP-Connection -> Void)] [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)))] [current-proxy-servers (Parameter (Listof (List String String Integer)))]