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

clarify that flat-contract is essentially useless now

Browse Source
This commit is contained in:
Robby Findler 2012-12-04 16:58:34 -06:00
parent 9a5db10124
commit d30e7c6771
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/scribblings/reference/contracts.scrbl
View File

@ -108,7 +108,11 @@ implement contracts @cite{Strickland12}.
@defproc[(flat-contract [predicate (any/c . -> . any/c)]) flat-contract?]{ @defproc[(flat-contract [predicate (any/c . -> . any/c)]) flat-contract?]{
Constructs a @tech{flat contract} from @racket[predicate]. A value 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] @defproc[(flat-named-contract [type-name any/c]