Remove a contract: gen:name is not an identifier value

This commit is contained in:
Sorawee Porncharoenwase 2020-05-01 12:03:27 -07:00 committed by Sam Tobin-Hochstadt
parent bcdfa42000
commit 219f9c0846

View File

@ -31,14 +31,12 @@
(code:line #:constructor-name constructor-id)
(code:line #:extra-constructor-name constructor-id)
(code:line #:reflection-name symbol-expr)
(code:line #:methods gen:name method-defs)
(code:line #:methods gen:name-id method-defs)
#:omit-define-syntaxes
#:omit-define-values]
[field-option #:mutable
#:auto]
[method-defs (definition ...)])
#:contracts
([gen:name identifier?])]{
[method-defs (definition ...)])]{
Creates a new @techlink{structure type} (or uses a pre-existing
structure type if @racket[#:prefab] is specified), and binds
@ -224,10 +222,10 @@ name, as do the various procedures that are bound by @racket[struct].
(eval:error (circle-radius "bad"))
]
If @racket[#:methods gen:name method-defs] is provided, then
@racket[gen:name] must be a transformer binding for the static
If @racket[#:methods gen:name-id method-defs] is provided, 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]
The @racket[method-defs] define the methods of the @racket[gen:name-id]
interface. A @racket[define/generic] form or auxiliary definitions
and expressions may also appear in @racket[method-defs].