From a191b1e7e9db722abb5dcfa25bc47b5cb3dbcf32 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Feb 2008 02:56:18 +0000 Subject: [PATCH] patch from David Van Horn to fix PR 9078 svn: r8658 --- collects/net/url.ss | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/collects/net/url.ss b/collects/net/url.ss index cb407c2c45..1d7c39ebcb 100644 --- a/collects/net/url.ss +++ b/collects/net/url.ss @@ -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