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

wording tweaks

Browse Source
This commit is contained in:
Robby Findler 2015-12-30 17:56:05 -06:00
parent 0f7a946dba
commit 85c781452d
1 changed files with 6 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/racket-doc/scribblings/reference/contracts.scrbl
View File

@ -2551,26 +2551,21 @@ is expected to be the blame record for the contract on the value).
[#:list-contract? is-list-contract? (-> contract? boolean?) (λ (c) #f)])
contract-property?])]{
@italic{The precise details of the
@racket[val-first-projection] argument
are subject to change. (Probably
also the default values of the @racket[project]
arguments will change.)}
These functions build the arguments for @racket[prop:contract],
@racket[prop:chaperone-contract], and @racket[prop:flat-contract], respectively.
A @deftech{contract property} specifies the behavior of a structure when used as
a contract. It is specified in terms of seven accessors:
a contract. It is specified in terms of seven properties:
@itemlist[
@item{@racket[get-name] which produces a description to @racket[write] as part
of a contract violation;}
@item{@racket[get-first-order], which produces a first-order predicate to be
used by @racket[contract-first-order-passes?];}
@item{@racket[get-projection], which produces a blame-tracking projection
defining the behavior of the contract;}
@item{@racket[stronger], which is a predicate that determines whether this
@item{@racket[get-late-neg-projection], which produces a blame-tracking projection
defining the behavior of the contract (The @racket[get-projection]
and @racket[get-val-first-projection] arguments also specify the projection,
but using a different signature. They are here for backwards compatibility.);}
@item{@racket[stronger], a predicate that determines whether this
contract (passed in the first argument) is stronger than some other
contract (passed in the second argument) and whose default always
returns @racket[#f];}