From f805b37f5eb61c8245f35e46e8c50f204e9dac84 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 13 Dec 2011 00:33:37 -0500 Subject: [PATCH] Fix doc inconsistency for require/typed. original commit: 1ec2f9ca82cde1a2285b05537ddeb80a59c70925 --- .../scribblings/reference/special-forms.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/typed-racket/scribblings/reference/special-forms.scrbl b/collects/typed-racket/scribblings/reference/special-forms.scrbl index 2328f29a..cb988237 100644 --- a/collects/typed-racket/scribblings/reference/special-forms.scrbl +++ b/collects/typed-racket/scribblings/reference/special-forms.scrbl @@ -330,14 +330,14 @@ naming a predicate, and @racket[_r] is an optionally-renamed identifier. [struct-option (code:line #:constructor-name constructor-id) (code:line #:extra-constructor-name constructor-id)])] -{This form requires identifiers from the module @racket[m], giving +This form requires identifiers from the module @racket[m], giving them the specified types. -The first form requires @racket[r], giving it type @racket[t]. +The first case requires @racket[r], giving it type @racket[t]. -@index["struct"]{The second and third forms} require the struct with name @racket[name] +@index["struct"]{The second and third cases} require the struct with name @racket[name] with fields @racket[f ...], where each field has type @racket[t]. The -third form allows a @racket[parent] structure type to be specified. +third case allows a @racket[parent] structure type to be specified. The parent type must already be a structure type known to Typed Racket, either built-in or via @racket[require/typed]. The structure predicate has the appropriate Typed Racket filter type so