From d30e7c6771b9fe910a7e1baba67cf17225ab0a34 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 4 Dec 2012 16:58:34 -0600 Subject: [PATCH] clarify that flat-contract is essentially useless now --- collects/scribblings/reference/contracts.scrbl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/reference/contracts.scrbl b/collects/scribblings/reference/contracts.scrbl index 35288fa52a..35e1096ae2 100644 --- a/collects/scribblings/reference/contracts.scrbl +++ b/collects/scribblings/reference/contracts.scrbl @@ -108,7 +108,11 @@ implement contracts @cite{Strickland12}. @defproc[(flat-contract [predicate (any/c . -> . any/c)]) flat-contract?]{ Constructs a @tech{flat contract} from @racket[predicate]. A value -satisfies the contract if the predicate returns a true value.} +satisfies the contract if the predicate returns a true value. + +This function is a holdover from before flat contracts could be used +directly as predicates. It exists today for backwards compatibilty. +} @defproc[(flat-named-contract [type-name any/c]