From 1a535768f44d23c013279aa00e80bf0d8ee64aa9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 24 Oct 2012 17:03:35 -0700 Subject: [PATCH] doc repair Looks like it was an accidental incorrect update Merge to v5.3.1 (cherry picked from commit b239a295447845d6214c1a346826256e5d6240bc) --- collects/scribblings/reference/struct.scrbl | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/collects/scribblings/reference/struct.scrbl b/collects/scribblings/reference/struct.scrbl index 82954a27c7..a4ba5ac309 100644 --- a/collects/scribblings/reference/struct.scrbl +++ b/collects/scribblings/reference/struct.scrbl @@ -100,9 +100,7 @@ override the default @racket[equal?] definition through the [immutables (listof exact-nonnegative-integer?) null] [guard (or/c procedure? #f) #f] - [constructor-name (or/c symbol? #f) #f] - [generate (-> contract? (-> int? any/c))] - [exercise (-> contract? (-> int? any/c any/c))]) + [constructor-name (or/c symbol? #f) #f]) (values struct-type? struct-constructor-procedure? struct-predicate-procedure? @@ -176,14 +174,6 @@ If @racket[constructor-name] is not @racket[#f], it is used as the name of the generated @tech{constructor} procedure as returned by @racket[object-name] or in the printed form of the constructor value. -The @racket[generate] argument is used to define a new generator for -this structure type, which can be used to create random instances of -the structure type. For more information see @racket[contract-generate]. - -The @racket[exercise] argument allows you to define a function to verify -that a given value is an instance of your contract. This will also be used -for random generation. - The result of @racket[make-struct-type] is five values: @itemize[