From 976ec00702bb9629d81e974ba5dfa2d12907b139 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 4 Mar 2009 02:17:26 +0000 Subject: [PATCH] fixed docs svn: r13937 --- collects/scribblings/reference/contracts.scrbl | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 388617e93a..f8df8bd61d 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -53,12 +53,17 @@ Constructs a @tech{flat contract} from @scheme[predicate]. A value satisfies the contract if the predicate returns a true value.} -@defproc[(flat-named-contract [type-name string?][predicate (any/c . -> . any)]) +@defproc[(flat-named-contract [type-name any/c][predicate (any/c . -> . any)]) flat-contract?]{ -Like @scheme[flat-contract], but the first argument must be a string -used for error reporting. The string describes the type that the -predicate checks for.} +Like @scheme[flat-contract], but the first argument must be the +(quoted) name of a contract used for error reporting. +For example, +@schemeblock[(flat-named-contract + 'odd-integer + (lambda (x) (and (integer? x) (odd? x))))] +turns the predicate into a contract with the name @tt{odd-integer}. +} @defthing[any/c flat-contract?]{