From 37796884d8599d6411bff0ebbf6fc88e6f6bf285 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 13 Sep 2008 22:45:22 +0000 Subject: [PATCH] Doc changes. svn: r11732 --- collects/typed-scheme/typed-scheme.scrbl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index 95baadbf09..afab39a1c9 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -436,13 +436,16 @@ The following base types are parameteric in their type arguments. @defform*[#:id -> #:literals (* ...) [(dom ... -> rng) (dom ... rest * -> rng) - (dom ... rest ... bound -> rng)]]{is the type of functions from the (possibly-empty) + (dom ... rest ... bound -> rng) + (dom -> rng : pred)]]{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.} + must be an identifier denoting a type variable. In the fourth form, + there must be only one @scheme[dom] and @scheme[pred] is the type + checked by the predicate.} @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