fix some doc contracts for submodules

This commit is contained in:
Ryan Culpepper 2012-04-23 17:20:34 -06:00
parent 0b8b0c36ef
commit eb3dce14cd
2 changed files with 5 additions and 3 deletions

View File

@ -294,7 +294,7 @@ the module starting with the top-level module's declared name.}
@defproc*[([(module-compiled-submodules [compiled-module-code compiled-module-expression?] @defproc*[([(module-compiled-submodules [compiled-module-code compiled-module-expression?]
[non-star? any/c]) [non-star? any/c])
symbol?] (listof compiled-module-expression?)]
[(module-compiled-submodules [compiled-module-code compiled-module-expression?] [(module-compiled-submodules [compiled-module-code compiled-module-expression?]
[non-star? any/c] [non-star? any/c]
[submodules (listof compiled-module-expression?)]) [submodules (listof compiled-module-expression?)])

View File

@ -7,7 +7,8 @@
@defproc[(resolve-module-path [module-path-v module-path?] @defproc[(resolve-module-path [module-path-v module-path?]
[rel-to-path-v (or/c path-string? (-> any) false/c)]) [rel-to-path-v (or/c path-string? (-> any) false/c)])
path?]{ (or/c path? symbol?
(cons/c 'submod (cons/c (or/c path? symbol?) (listof symbol?))))]{
Resolves a module path to filename path. The module path is resolved Resolves a module path to filename path. The module path is resolved
relative to @racket[rel-to-path-v] if it is a path string (assumed to relative to @racket[rel-to-path-v] if it is a path string (assumed to
@ -16,7 +17,8 @@ a thunk, or to the current directory otherwise.}
@defproc[(resolve-module-path-index [module-path-index module-path-index?] @defproc[(resolve-module-path-index [module-path-index module-path-index?]
[rel-to-path-v (or/c path-string? (-> any) false/c)]) [rel-to-path-v (or/c path-string? (-> any) false/c)])
path?]{ (or/c path? symbol?
(cons/c 'submod (cons/c (or/c path? symbol?) (listof symbol?))))]{
Like @racket[resolve-module-path] but the input is a @techlink[#:doc Like @racket[resolve-module-path] but the input is a @techlink[#:doc
refman]{module path index}; in this case, the @racket[rel-to-path-v] refman]{module path index}; in this case, the @racket[rel-to-path-v]