diff --git a/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/url.rkt b/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/url.rkt index 3053e875ae..35e3f93cfc 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/url.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-more/typed/net/url.rkt @@ -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)))]