suzanne.soy/typed-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>

original commit: 8a4aee886502f4843ef8225784363841b32c92dd
This commit is contained in:
Sam Tobin-Hochstadt 2011-08-29 12:04:34 -04:00
parent 2f118dc0f8
commit d72477beaf
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
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