suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix typo.

Browse Source 
Reported-By: Shriram Krishnamurthi <sk@cs.brown.edu>
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-29 12:04:34 -04:00
parent d000567b79
commit 8a4aee8865
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/scribblings/reference/types.scrbl
View File

@ -356,11 +356,12 @@ of type @racket[Syntax-E].}
type variables @racket[v ...]. If @racket[t] is a function type type variables @racket[v ...]. If @racket[t] is a function type
constructed with @racket[->], the outer pair of parentheses constructed with @racket[->], the outer pair of parentheses
around the function type may be omitted. around the function type may be omitted.
@ex[(: list-lenght : (All (A) (Listof A) -> Natural)) @ex[(: list-length : (All (A) (Listof A) -> Natural))
(define (list-lenght lst) (define (list-length lst)
(if (null? lst) (if (null? lst)
0 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 @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 types @racket[t ...]. This can only appear as the return type of a