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

add in the supported ->i forms

Browse Source 
original commit: 551c6866d1088797c5a010df93f2a3ee56eb9b77
This commit is contained in:
Robby Findler 2011-04-30 08:53:36 -05:00
parent 90408eea58
commit 0bcc3edb0e
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/scribblings/scribble/srcdoc.scrbl
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] can be referenced in documentation prose using the @racket[racket]
form.} form.}
@defform/subs[#:literals (-> ->d values) @defform/subs[#:literals (-> ->i ->d values)
(proc-doc id contract desc-expr) (proc-doc id contract desc-expr)
([contract (-> result) ([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 ...) () (values [id result] ...))
(->d (arg ...) () #:pre-cond expr (values [id result] ...)) (->d (arg ...) () #:pre-cond expr (values [id result] ...))
(->d (arg ...) () [id result]) (->d (arg ...) () [id result])
@ -114,7 +120,7 @@ form.}
(->d (arg ...) () #:rest id rest [id result])])]{ (->d (arg ...) () #:rest id rest [id result])])]{
Like @racket[proc-doc], but supporting contract forms that embed 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.} supported.}
@defform[(thing-doc id contract-expr dec-expr)]{ @defform[(thing-doc id contract-expr dec-expr)]{