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

fix doc bugs reported by danny

Browse Source 
svn: r18765

original commit: 24ad4005e802bca01e540f38aa6ea49fe7c3cfb6
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-08 20:11:39 +00:00
parent 707dae25ca
commit e1c724381b
2 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/scribblings/begin.scrbl
View File

@ -36,22 +36,22 @@ form from @schememodname[scheme]---when porting a program from
@schememodname[scheme] to @schememodname[typed/scheme], uses of
@scheme[define-struct] should be changed to @scheme[define-struct:].
@schemeblock[(: mag (pt -> Real))]
@schemeblock[(: mag (pt -> Number))]
This declares that @scheme[mag] has the type @scheme[(pt -> Real)].
This declares that @scheme[mag] has the type @scheme[(pt -> Number)].
@;{@scheme[mag] must be defined at the top-level of the module containing
the declaration.}
The type @scheme[(pt -> Real)] is a function type, that is, the type
The type @scheme[(pt -> Number)] is a function type, that is, the type
of a procedure. The input type, or domain, is a single argument of
type @scheme[pt], which refers to an instance of the @scheme[pt]
structure. The @scheme[->] both indicates that this is a function
type and separates the domain from the range, or output type, in this
case @scheme[Real].
case @scheme[Number].
@schemeblock[
(define (mag p)
(sqrt (sqr (pt-x p)) (sqr (pt-y p))))
(sqrt (+ (sqr (pt-x p)) (sqr (pt-y p)))))
]
This definition is unchanged from the untyped version of the code.

6
collects/typed-scheme/scribblings/quick.scrbl
View File

@ -28,9 +28,9 @@ language:
typed/scheme
(define-struct: pt ([x : Real] [y : Real]))
(: mag (pt -> Real))
(: mag (pt -> Number))
(define (mag p)
(sqrt (sqr (pt-x p)) (sqr (pt-y p))))
(sqrt (+ (sqr (pt-x p)) (sqr (pt-y p)))))
]
)
@ -40,7 +40,7 @@ scheme
(code:contract mag : pt -> number)
(define (mag p)
(sqrt (sqr (pt-x p)) (sqr (pt-y p))))
(sqrt (+ (sqr (pt-x p)) (sqr (pt-y p)))))
]
Here is the same program, in @schememodname[typed/scheme]: