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

more "this function is useless" notes in old contract functions

Browse Source
This commit is contained in:
Robby Findler 2012-12-04 21:04:43 -06:00
parent 40964d766e
commit 6b3b59e4a8
1 changed files with 20 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -105,16 +105,6 @@ implement contracts @cite{Strickland12}.
@section[#:tag "data-structure-contracts"]{Data-structure Contracts} @section[#:tag "data-structure-contracts"]{Data-structure Contracts}
@declare-exporting-ctc[racket/contract/base] @declare-exporting-ctc[racket/contract/base]
@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.
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]
[predicate (or/c flat-contract? (any/c . -> . any))] [predicate (or/c flat-contract? (any/c . -> . any))]
[generator (or/c #f (-> contract (-> int? any))) #f]) [generator (or/c #f (-> contract (-> int? any))) #f])
@ -630,6 +620,26 @@ Constructs a contract on a promise. The contract does not force the
promise, but when the promise is forced, the contract checks that the promise, but when the promise is forced, the contract checks that the
result value meets the contract produced by @racket[expr].} result value meets the contract produced by @racket[expr].}
@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.
This function is a holdover from before flat contracts could be used
directly as predicates. It exists today for backwards compatibilty.
}
@defproc[(flat-contract-predicate [v flat-contract?])
(any/c . -> . any/c)]{
Extracts the predicate from a flat contract.
This function is a holdover from before flat contracts could
be used directly as predicates. It exists today for backwards compatibility.
}
@; ------------------------------------------------------------------------ @; ------------------------------------------------------------------------
@section[#:tag "function-contracts"]{Function Contracts} @section[#:tag "function-contracts"]{Function Contracts}
@ -2167,11 +2177,6 @@ symbols, booleans, numbers, and other ordinary Racket values
(that are defined as @tech{contracts}) are also (that are defined as @tech{contracts}) are also
flat contracts.} flat contracts.}
@defproc[(flat-contract-predicate [v flat-contract?])
(any/c . -> . any/c)]{
Extracts the predicate from a flat contract.}
@defproc[(contract-name [c contract?]) any/c]{ @defproc[(contract-name [c contract?]) any/c]{
Produces the name used to describe the contract in error messages. Produces the name used to describe the contract in error messages.
} }