From a10cd9d14deac00789b56a7d5ef07726f8d24cf2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 13 Aug 2010 09:54:51 -0500 Subject: [PATCH] improved the ->* docs --- collects/scribblings/reference/contracts.scrbl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 5ebc83419a..cb3780cbe4 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -474,11 +474,12 @@ each value must match its respective contract.} @defform*/subs[#:literals (any values) - [(->* (mandatory-dom ...) (optional-dom ...) rest pre range post)] + [(->* (mandatory-dom ...) optional-doms rest pre range post)] ([mandatory-dom dom-expr (code:line keyword dom-expr)] + [optional-doms (code:line) (optional-dom ...)] [optional-dom dom-expr (code:line keyword dom-expr)] - [pre (code:line) (code:line #:pre pre-cond-expr)] [rest (code:line) (code:line #:rest rest-expr)] + [pre (code:line) (code:line #:pre pre-cond-expr)] [range range-expr (values range-expr ...) any] [post (code:line) (code:line #:post post-cond-expr)])]{