From e8b49e2c824542dcee27471df360c98f5e94b4d5 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 21 Feb 2013 15:35:14 -0500 Subject: [PATCH] Add doc subforms for keyword types --- collects/typed-racket/scribblings/reference/types.scrbl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/scribblings/reference/types.scrbl b/collects/typed-racket/scribblings/reference/types.scrbl index 194eb3bdcd..293944c789 100644 --- a/collects/typed-racket/scribblings/reference/types.scrbl +++ b/collects/typed-racket/scribblings/reference/types.scrbl @@ -414,11 +414,15 @@ functions and continuation mark functions. @section{Other Type Constructors} -@defform*[#:id -> #:literals (* ...) +@defform*/subs[#:id -> #:literals (* ...) [(dom ... -> rng) (dom ... rest * -> rng) (dom ... rest #,(racket ...) bound -> rng) - (dom -> rng : pred)]]{is the type of functions from the (possibly-empty) + (dom -> rng : pred)] + ([dom type + (code:line keyword type) + [keyword type]])]{ + is the type of functions from the (possibly-empty) sequence @racket[dom ...] to the @racket[rng] type. The second form specifies a uniform rest argument of type @racket[rest], and the third form specifies a non-uniform rest argument of type