From c2ac8046c45d4e807fb623f2048a4dbfabb6300d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 13 Jun 2010 14:34:16 -0400 Subject: [PATCH] Fix grammar for rest args in lambda:. Closes PR 10976 --- collects/typed-scheme/scribblings/ts-reference.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/scribblings/ts-reference.scrbl b/collects/typed-scheme/scribblings/ts-reference.scrbl index 10cc05e36e..9912490b77 100644 --- a/collects/typed-scheme/scribblings/ts-reference.scrbl +++ b/collects/typed-scheme/scribblings/ts-reference.scrbl @@ -267,7 +267,8 @@ Type-annotated versions of @defform/subs[(lambda: formals . body) ([formals ([v : t] ...) - ([v : t] ... . [v : t])])]{ + ([v : t] ... . [v : t *]) + ([v : t] ... . [v : t ...])])]{ A function of the formal arguments @racket[v], where each formal argument has the associated type. If a rest argument is present, then it has type @racket[(Listof t)].}