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

net/url: fix PortT/Bytes, HTTP-Connection

Browse Source 
* PortT/Bytes now correctly lists the Bytes parameter as _not_ optional. (For that matter, so does PortT/String.)
 * HTTP-Connection was defined as an opaque type in net/url, but really is the same type defined in net/http-client, so now it is imported from there.
This commit is contained in:
Jordan Johnson 2015-06-28 12:36:35 -07:00
parent 0e23bb48cb
commit ea9467c826
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
typed-racket-more/typed/net/url.rkt
View File

@ -7,15 +7,18 @@
;; opaque types
(require/typed/provide
net/url
[#:opaque URL-Exception url-exception?]
[#:opaque HTTP-Connection http-connection?])
[#:opaque URL-Exception url-exception?])
(require (only-in typed/net/http-client
HTTP-Connection
[http-conn? http-connection?]))
(provide HTTP-Connection http-connection?)
;; convenience type aliases
;; PortT/String is unused, but was provided by earlier versions of this module, so it's included here
(define-type PortT ([URL] [(Listof String)] . ->* . Input-Port))
(define-type PortT/String ([URL] [String (Listof String)] . ->* . Input-Port))
(define-type PortT/Bytes ([URL] [Bytes (Listof String)] . ->* . Input-Port))
(define-type PortT/String ([URL String] [(Listof String)] . ->* . Input-Port))
(define-type PortT/Bytes ([URL Bytes] [(Listof String)] . ->* . Input-Port))
(provide PortT PortT/String PortT/Bytes)
(require/typed/provide