some cleanups, thanks to Eli

This commit is contained in:
Robby Findler 2012-03-30 10:44:17 -05:00
parent 7e86c04847
commit 97b76d474e

View File

@ -660,8 +660,9 @@
(provide (struct-out url) (struct-out path/param))
(provide/contract
(string->url (-> (or/c #rx"^[a-zA-Z][a-zA-Z0-9+.-]*:"
(not/c #rx"^([^:/?#]*):"))
(string->url (-> (and/c string?
(or/c #rx"^[a-zA-Z][a-zA-Z0-9+.-]*:"
(not/c #rx"^[^:/?#]*:")))
url?))
(path->url ((or/c path-string? path-for-some-system?) . -> . url?))
(url->string (url? . -> . string?))