on more attempt to fix this contract

This commit is contained in:
Robby Findler 2013-11-17 22:10:41 -06:00
parent 654a1c89bb
commit a67a2a2ae2

View File

@ -14,9 +14,10 @@
#:pref [pref symbol?] #:pref [pref symbol?]
#:dir? [dir? boolean?]) #:dir? [dir? boolean?])
[res (dir?) [res (dir?)
(if (or dir? (not (equal? dir? the-unsupplied-arg))) (if (or (not dir?)
(or/c (listof path?) #f) (unsupplied-arg? dir?))
(or/c path? #f))])])) (or/c path? #f)
(or/c (listof path?) #f))])]))
(define (get-module-path-from-user #:init [init-value ""] (define (get-module-path-from-user #:init [init-value ""]
#:pref [pref-sym #f] #:pref [pref-sym #f]