From 7ea6a430f1100a1d1b4a6eedea75bd36b5279874 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 13 Apr 2013 19:12:07 -0500 Subject: [PATCH] change promise/c docs to use defproc instead of defform also fix a few "listof/c"s closes PR 13694 --- collects/scribblings/reference/contracts.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 2dcd053ebb..6b342e4439 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -638,11 +638,11 @@ Represents a contract that is always satisfied. In particular, it can accept multiple values. It can only be used in a result position of contracts like @racket[->]. Using @racket[any] elsewhere is a syntax error.} -@defform[(promise/c expr)]{ +@defproc[(promise/c [c contract?]) contract?]{ Constructs a contract on a promise. The contract does not force the promise, but when the promise is forced, the contract checks that the -result value meets the contract produced by @racket[expr].} +result value meets the contract @racket[c].} @defproc[(flat-contract [predicate (any/c . -> . any/c)]) flat-contract?]{ @@ -1665,7 +1665,7 @@ contracts. The error messages assume that the function named by } @defproc[(coerce-chaperone-contracts [id symbol?] [x (listof any/c)]) - (listof/c chaperone-contract?)]{ + (listof chaperone-contract?)]{ Like @racket[coerce-contracts], but requires the results to be chaperone contracts, not arbitrary contracts. } @@ -1675,7 +1675,7 @@ contracts. The error messages assume that the function named by to be a flat contract, not an arbitrary contract. } -@defproc[(coerce-flat-contracts [id symbol?] [x (listof any/c)]) (listof/c flat-contract?)]{ +@defproc[(coerce-flat-contracts [id symbol?] [x (listof any/c)]) (listof flat-contract?)]{ Like @racket[coerce-contracts], but requires the results to be flat contracts, not arbitrary contracts. }