From 9d31fc0726277b920ff8f077a3fb02e4afd4378d Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sun, 12 Sep 2010 22:10:33 -0400 Subject: [PATCH] Fix doc typo. Closes PR 11190. Closes PR 11191. original commit: 07227ed8f7e32ed552186f41df8c9fedde1c6a02 --- collects/typed-scheme/scribblings/more.scrbl | 2 +- collects/typed-scheme/scribblings/types.scrbl | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/scribblings/more.scrbl b/collects/typed-scheme/scribblings/more.scrbl index 9a6123f4..424fa8f9 100644 --- a/collects/typed-scheme/scribblings/more.scrbl +++ b/collects/typed-scheme/scribblings/more.scrbl @@ -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], diff --git a/collects/typed-scheme/scribblings/types.scrbl b/collects/typed-scheme/scribblings/types.scrbl index 20915ea4..e766f023 100644 --- a/collects/typed-scheme/scribblings/types.scrbl +++ b/collects/typed-scheme/scribblings/types.scrbl @@ -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.