svn: r14259
This commit is contained in:
Matthew Flatt 2009-03-25 02:21:34 +00:00
parent 5cc75c5988
commit 550f323845

View File

@ -278,7 +278,7 @@ scheme
@ctc-section[#:tag "coercion"]{Contracts Coerced from Other Values} @ctc-section[#:tag "coercion"]{Contracts Coerced from Other Values}
The contract library treates a number of Scheme values as if they are The contract library treats a number of Scheme values as if they are
contracts directly. We've already seen one main use of that: predicates. Every contracts directly. We've already seen one main use of that: predicates. Every
function that accepts one argument can be treated as a predicate function that accepts one argument can be treated as a predicate
and thus used as a contract. and thus used as a contract.