From cd747e3fb10bf17b36d9c88ba908b07e5249e7df Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 3 Jan 2015 16:02:08 -0600 Subject: [PATCH] fix docs for #:exercise argument (adding the default value) --- pkgs/racket-doc/scribblings/reference/contracts.scrbl | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index 8d8ae75374..36e565e885 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -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?])]{