From 0bcc3edb0eb507d5b743cda6cf3793e12e50140f Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 30 Apr 2011 08:53:36 -0500 Subject: [PATCH] add in the supported ->i forms original commit: 551c6866d1088797c5a010df93f2a3ee56eb9b77 --- collects/scribblings/scribble/srcdoc.scrbl | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/scribble/srcdoc.scrbl b/collects/scribblings/scribble/srcdoc.scrbl index 28d8c006..20c37d07 100644 --- a/collects/scribblings/scribble/srcdoc.scrbl +++ b/collects/scribblings/scribble/srcdoc.scrbl @@ -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)]{