From d72477beaf7232dca5a7e9dd9652d85f79db8408 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 29 Aug 2011 12:04:34 -0400 Subject: [PATCH] Fix typo. Reported-By: Shriram Krishnamurthi original commit: 8a4aee886502f4843ef8225784363841b32c92dd --- collects/typed-scheme/scribblings/reference/types.scrbl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/scribblings/reference/types.scrbl b/collects/typed-scheme/scribblings/reference/types.scrbl index 59dd1b78..5dce9655 100644 --- a/collects/typed-scheme/scribblings/reference/types.scrbl +++ b/collects/typed-scheme/scribblings/reference/types.scrbl @@ -356,11 +356,12 @@ of type @racket[Syntax-E].} type variables @racket[v ...]. If @racket[t] is a function type constructed with @racket[->], the outer pair of parentheses around the function type may be omitted. - @ex[(: list-lenght : (All (A) (Listof A) -> Natural)) - (define (list-lenght lst) + @ex[(: list-length : (All (A) (Listof A) -> Natural)) + (define (list-length lst) (if (null? lst) 0 - (add1 (list-lenght (cdr lst)))))]} + (add1 (list-length (cdr lst))))) + (list-length (list 1 2 3))]} @defform[(Values t ...)]{is the type of a sequence of multiple values, with types @racket[t ...]. This can only appear as the return type of a