From 757a6ac532d58c8ae1688a6e3451badcaa430bb7 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 23 Oct 2008 22:56:30 +0000 Subject: [PATCH] Document `List'. svn: r12107 original commit: 101ca7ada7e4003e6964200c7c1559349c8beb5a --- collects/typed-scheme/typed-scheme.scrbl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/typed-scheme/typed-scheme.scrbl b/collects/typed-scheme/typed-scheme.scrbl index e9ad7336..2780e17a 100644 --- a/collects/typed-scheme/typed-scheme.scrbl +++ b/collects/typed-scheme/typed-scheme.scrbl @@ -457,6 +457,8 @@ The following base types are parameteric in their type arguments. @scheme[t] at types @scheme[t1 t2 ...]} @defform[(All (v ...) t)]{is a parameterization of type @scheme[t], with type variables @scheme[v ...]} +@defform[(List t ...)]{is the type of the list with one element, in order, + for each type provided to the @scheme[List] type constructor.} @defform[(values t ...)]{is the type of a sequence of multiple values, with types @scheme[t ...]. This can only appear as the return type of a function.}