From e1c724381be3f118b38f2bfa3987598c33d3152e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 8 Apr 2010 20:11:39 +0000 Subject: [PATCH] fix doc bugs reported by danny svn: r18765 original commit: 24ad4005e802bca01e540f38aa6ea49fe7c3cfb6 --- collects/typed-scheme/scribblings/begin.scrbl | 10 +++++----- collects/typed-scheme/scribblings/quick.scrbl | 6 +++--- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/collects/typed-scheme/scribblings/begin.scrbl b/collects/typed-scheme/scribblings/begin.scrbl index 61a32344..011f28aa 100644 --- a/collects/typed-scheme/scribblings/begin.scrbl +++ b/collects/typed-scheme/scribblings/begin.scrbl @@ -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. diff --git a/collects/typed-scheme/scribblings/quick.scrbl b/collects/typed-scheme/scribblings/quick.scrbl index a46bcc31..b0b7c25c 100644 --- a/collects/typed-scheme/scribblings/quick.scrbl +++ b/collects/typed-scheme/scribblings/quick.scrbl @@ -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]: