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

fix docs for #:exercise argument

Browse Source 
(adding the default value)
This commit is contained in:
Robby Findler 2015-01-03 16:02:08 -06:00
parent 9010eb5d19
commit cd747e3fb1
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2299,7 +2299,8 @@ is expected to be the blame record for the contract on the value).
(-> (and/c positive? real?)
(values
(-> c void?)
(listof contract?)))]))]
(listof contract?)))]))
(λ (c) (λ (fuel) (values void '())))]
[#:list-contract? is-list-contract? (-> contract? boolean?) (λ (c) #f)])
flat-contract-property?]
@defproc[(build-chaperone-contract-property
@ -2347,7 +2348,8 @@ is expected to be the blame record for the contract on the value).
(-> (and/c positive? real?)
(values
(-> c void?)
(listof contract?)))]))]
(listof contract?)))]))
(λ (c) (λ (fuel) (values void '())))]
[#:list-contract? is-list-contract? (-> contract? boolean?) (λ (c) #f)])
chaperone-contract-property?]
@defproc[(build-contract-property
@ -2395,7 +2397,8 @@ is expected to be the blame record for the contract on the value).
(-> (and/c positive? real?)
(values
(-> c void?)
(listof contract?)))]))]
(listof contract?)))]))
(λ (c) (λ (fuel) (values void '())))]
[#:list-contract? is-list-contract? (-> contract? boolean?) (λ (c) #f)])
contract-property?])]{