methods in struct can be supplied multiple times

This commit is contained in:
Sorawee Porncharoenwase 2020-08-20 13:59:20 -07:00 committed by Matthew Flatt
parent d259596a35
commit c4ecada443

View File

@ -130,7 +130,7 @@ The @racket[#:inspector], @racket[#:auto-value], and @racket[#:guard]
options specify an inspector, value for automatic fields, and guard
procedure, respectively. See @racket[make-struct-type] for more
information on these attributes of a structure type. The
@racket[#:property] option, which is the only one that can be supplied
@racket[#:property] option, which can be supplied
multiple times, attaches a property value to the structure type; see
@secref["structprops"] for more information on properties. The
@racket[#:transparent] option is a shorthand for @racket[#:inspector
@ -222,7 +222,7 @@ name, as do the various procedures that are bound by @racket[struct].
(eval:error (circle-radius "bad"))
]
If @racket[#:methods gen:name-id method-defs] is provided, then
If @racket[#:methods gen:name-id method-defs] is provided (potentially multiple times), then
@racket[gen:name-id] must be a transformer binding for the static
information about a generic interface produced by @racket[define-generics].
The @racket[method-defs] define the methods of the @racket[gen:name-id]