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

Remove contract for define/generic

Browse Source 
`local-id` and `method-id` don't have a syntax identifier as a value, so
a contract is inappropriate here.
This commit is contained in:
Sorawee Porncharoenwase 2019-04-27 15:07:47 -07:00 committed by Matthew Flatt
parent a57f96ea9c
commit 3bb873aea8
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/racket-doc/scribblings/reference/generic.scrbl
View File

@ -144,10 +144,7 @@ Raised for @techlink{generic methods} that do not support the given
}
@defform[(define/generic local-id method-id)
#:contracts
([local-id identifier?]
[method-id identifier?])]{
@defform[(define/generic local-id method-id)]{
When used inside the method definitions associated with the
@racket[#:methods] keyword, binds @racket[local-id] to the generic for