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

Different contracts

Browse Source 
svn: r6643
This commit is contained in:
Jay McCarthy 2007-06-13 21:06:36 +00:00
parent 69c9896ca1
commit 3f838adc8b
3 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/web-server/dispatchers/filesystem-map.ss
View File

@ -4,8 +4,7 @@
(lib "contract.ss"))
(require "../private/util.ss")
(define url-path?
; XXX should be (listof path-element?)
((url?) . ->* . (path? list?)))
((url?) . ->* . (path? (listof path-element?))))
(provide/contract
[url-path? contract?]

2
collects/web-server/docs/reference/private.scrbl
View File

@ -282,7 +282,7 @@ needs. They are provided by @file{private/util.ss}.
@subsection{Contracts}
@defthing[port-number? contract?]{Equivalent to @scheme[(between/c 1 65535)].}
@defthing[path-element? contract?]{Equivalent to @scheme[(or/c path? (symbols 'up 'same))].}
@defthing[path-element? contract?]{Equivalent to @scheme[(or/c string? path? (symbols 'up 'same))].}
@subsection{Lists}
@defproc[(list-prefix? [l list?]

2
collects/web-server/private/util.ss
View File

@ -7,7 +7,7 @@
(lib "xml.ss" "xml")
(lib "url.ss" "net"))
(define path-element?
(or/c path? (symbols 'up 'same)))
(or/c string? path? (symbols 'up 'same)))
(define port-number? (between/c 1 65535))