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

fix doc typo

Browse Source 
svn: r18417
This commit is contained in:
Sam Tobin-Hochstadt 2010-03-01 22:32:48 +00:00
parent 78c14e434b
commit 079c430e89
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/scribblings/ts-reference.scrbl
View File

@ -354,7 +354,7 @@ The @scheme[id]s are assumed to
have the types ascribed to them; these types are converted to contracts and checked dynamically. have the types ascribed to them; these types are converted to contracts and checked dynamically.
@examples[#:eval the-eval @examples[#:eval the-eval
(with-type Number 3) (with-type #:result Number 3)
((with-type #:result (Number -> Number) ((with-type #:result (Number -> Number)
(lambda: ([x : Number]) (add1 x))) (lambda: ([x : Number]) (add1 x)))