From d7b4d81e04b656a814e9f82af201c8794fcae9d9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 1 Aug 2008 20:42:30 +0000 Subject: [PATCH] Fix docs of -> to talk about varargs. svn: r11028 --- collects/typed-scheme/typed-scheme.scrbl | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index 43afa16c32..66fa6566bf 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -416,8 +416,16 @@ The following base types are parameteric in their type arguments. @subsubsub*section{Type Constructors} -@defform[#:id -> (dom ... -> rng)]{is the type of functions from the (possibly-empty) - sequence @scheme[dom ...] to the @scheme[rng] type.} +@defform*[#:id -> #:literals (* ...) + [(dom ... -> rng) + (dom ... rest * -> rng) + (dom ... rest ... bound -> rng)]]{is the type of functions from the (possibly-empty) + sequence @scheme[dom ...] to the @scheme[rng] type. The second form + specifies a uniform rest argument of type @scheme[rest], and the + third form specifies a non-uniform rest argument of type + @scheme[rest] with bound @scheme[bound]. In the third form, the + second occurrence of @scheme[...] is literal, and @scheme[bound] + must be an identifier denoting a type variable.} @defform[(U t ...)]{is the union of the types @scheme[t ...]} @defform[(case-lambda fun-ty ...)]{is a function that behaves like all of the @scheme[fun-ty]s. The @scheme[fun-ty]s must all be function