From 3bb873aea8219f7e0cde19659663e10f18d69ed2 Mon Sep 17 00:00:00 2001 From: Sorawee Porncharoenwase Date: Sat, 27 Apr 2019 15:07:47 -0700 Subject: [PATCH] Remove contract for define/generic `local-id` and `method-id` don't have a syntax identifier as a value, so a contract is inappropriate here. --- pkgs/racket-doc/scribblings/reference/generic.scrbl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/generic.scrbl b/pkgs/racket-doc/scribblings/reference/generic.scrbl index a1c77b3f82..22620c64d6 100644 --- a/pkgs/racket-doc/scribblings/reference/generic.scrbl +++ b/pkgs/racket-doc/scribblings/reference/generic.scrbl @@ -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