add in the supported ->i forms

This commit is contained in:
Robby Findler 2011-04-30 08:53:36 -05:00
parent d582dd55dd
commit 551c6866d1

View File

@ -104,9 +104,15 @@ that is available in the run-time phase of of the enclosing library
can be referenced in documentation prose using the @racket[racket]
form.}
@defform/subs[#:literals (-> ->d values)
@defform/subs[#:literals (-> ->i ->d values)
(proc-doc id contract desc-expr)
([contract (-> result)
(->i (arg ...) () (values ress ...))
(->i (arg ...) () #:pre (pre-id ...) condition (values ress ...))
(->i (arg ...) () res)
(->i (arg ...) () #:pre (pre-id ...) condition [name res])
(->i (arg ...) () #:rest rest res)
(->d (arg ...) () (values [id result] ...))
(->d (arg ...) () #:pre-cond expr (values [id result] ...))
(->d (arg ...) () [id result])
@ -114,7 +120,7 @@ form.}
(->d (arg ...) () #:rest id rest [id result])])]{
Like @racket[proc-doc], but supporting contract forms that embed
argument names. Only a subset of @racket[->d] forms are currently
argument names. Only a subset of @racket[->i] and @racket[->d] forms are currently
supported.}
@defform[(thing-doc id contract-expr dec-expr)]{