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

Fix doc inconsistency for require/typed.

Browse Source
This commit is contained in:
Asumu Takikawa 2011-12-13 00:33:37 -05:00
parent 36c720a28c
commit 1ec2f9ca82
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/scribblings/reference/special-forms.scrbl
View File

@ -330,14 +330,14 @@ naming a predicate, and @racket[_r] is an optionally-renamed identifier.
[struct-option [struct-option
(code:line #:constructor-name constructor-id) (code:line #:constructor-name constructor-id)
(code:line #:extra-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. 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 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 The parent type must already be a structure type known to Typed
Racket, either built-in or via @racket[require/typed]. The Racket, either built-in or via @racket[require/typed]. The
structure predicate has the appropriate Typed Racket filter type so structure predicate has the appropriate Typed Racket filter type so