From 44193bda4c985f03d8828a8a386e61b3931dd993 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 31 Mar 2011 18:05:35 -0500 Subject: [PATCH] fix ->r docs --- collects/mzlib/scribblings/contract.scrbl | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/collects/mzlib/scribblings/contract.scrbl b/collects/mzlib/scribblings/contract.scrbl index 30ec861f34..12e7dc46f1 100644 --- a/collects/mzlib/scribblings/contract.scrbl +++ b/collects/mzlib/scribblings/contract.scrbl @@ -230,13 +230,11 @@ This is a restricted form of @racketmodname[racket/contract]'s } -@defform*[((->r ([dom-x contract-dom-expr] ...) any) - (->r ([dom-x contract-dom-expr] ...) - (values [rng-x contract-rng-expr] ...) - post-cond-expr) - (->r ([dom-x contract-dom-expr] ...) - contract-rng-expr - rng-x))]{ +@defform*/subs[((->r ([dom-x contract-dom-expr] ...) rng) + (->r ([dom-x contract-dom-expr] ...) rest-x contract-rest-expr rng)) + ((rng any + (values contract-expr ...) + contract-expr))]{ The @racket[->r] form is a simplified version of @racketmodname[racket/contract]'s @|r:->i|, where each @racket[contract-dom-expr] is parameterized over all of the @racket[dom-x] variables