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

typo: is-flat-contract? -> is-list-contract?

Browse Source
This commit is contained in:
Benjamin Greenman 2015-12-30 17:56:24 -05:00 committed by Robby Findler
parent df382ca939
commit 61e21dba22
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2562,7 +2562,7 @@ 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 five accessors: @racket[get-name],
a contract. It is specified in terms of six accessors: @racket[get-name],
which produces a description to @racket[write] as part of a contract violation;
@racket[get-first-order], which produces a first-order predicate to be used by
@racket[contract-first-order-passes?]; @racket[get-projection], which
@ -2576,7 +2576,7 @@ to indicate failure) or @racket[#f] to indicate
that random generation for this contract isn't supported; @racket[exercise],
which returns a function that exercises values matching the contract (e.g.,
if it is a function contract, it may call the function) and a list of contracts
whose values will be generated by this process; and @racket[is-flat-contract?],
whose values will be generated by this process; and @racket[is-list-contract?],
which is used by @racket[flat-contract?] to determine if this contract
accepts only @racket[list?]s.