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

Update document to be more accurate

Browse Source
This commit is contained in:
shhyou 2018-09-12 13:19:02 -05:00 committed by Robby Findler
parent 40b8ae7a33
commit 9f0bc0896f
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -3568,10 +3568,14 @@ ended up returning @racket[contract-random-generate-fail].
This function is like @racket[contract-random-generate], but it is intended to
be used with combinators that generate values based on sub-contracts
they have. It must be called when @racket[contract-random-generate]
(and @racket[contract-exercise]) creates the generators. In other words,
@racket[contract-random-generate/choose] is available only after the
@racket[_generate] (and @racket[_exercise]) function received the
@racket[_fuel] and before it returned the thunk (or the exerciser).
(and @racket[contract-exercise]) creates the generators.
To be more precise, @racket[contract-random-generate/choose] is available
only for the @racket[_generate] and @racket[_exercise] arguments in
@racket[build-contract-property], @racket[build-chaperone-contract-property]
or @racket[build-flat-contract-property] and only during the dynamic
extent of the call to @racket[_generate] (and @racket[_exercise]).
That is, after it receives the @racket[_c] and @racket[_fuel] arguments
and before it returns the thunk (or the exerciser).
@racket[contract-random-generate/choose] will never fail,
but it might escape back to an enclosing