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

Fix doc typo.

Browse Source 
Closes PR 11190.
  Closes PR 11191.

original commit: 07227ed8f7e32ed552186f41df8c9fedde1c6a02
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-12 22:10:33 -04:00
parent 70a3eb6153
commit 9d31fc0726
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/scribblings/more.scrbl
View File

@ -44,7 +44,7 @@ in both top-level and internal contexts.
@racketblock[
(define: x : Number 7)
(define: (id [z : Number]) z)]
(define: (id [z : Number]) : Number z)]
Here, @racket[x] has the type @racket[Number], and @racket[id] has the
type @racket[(Number -> Number)]. In the body of @racket[id],

4
collects/typed-scheme/scribblings/types.scrbl
View File

@ -193,9 +193,9 @@ The second definition
(struct: (a) Some ([v : a]))
]
creates a parameterized type, @racket[Just], which is a structure with
creates a parameterized type, @racket[Some], which is a structure with
one element, whose type is that of the type argument to
@racket[Just]. Here the type parameters (only one, @racket[a], in
@racket[Some]. Here the type parameters (only one, @racket[a], in
this case) are written before the type name, and can be referred to in
the types of the fields.