Corrected Racket Reference for get/build-late-neg-projection

and `get/build-val-first-projection`.
Both had incorrectly shown that the returned function took
a `contract?` as an extra first argument.
This commit is contained in:
Philip McGrath 2017-04-11 14:00:43 -05:00 committed by Robby Findler
parent c0f158b38c
commit e9cd1e5595

View File

@ -2321,7 +2321,7 @@ contracts. The error messages assume that the function named by
}
@defproc[(get/build-val-first-projection [c contract?])
(-> contract? blame? (-> any/c (-> any/c any/c)))]{
(-> blame? (-> any/c (-> any/c any/c)))]{
Returns the @racket[_val-first] projection for @racket[c].
See @racket[make-contract] for more details.
@ -2330,7 +2330,7 @@ contracts. The error messages assume that the function named by
}
@defproc[(get/build-late-neg-projection [c contract?])
(-> contract? blame? (-> any/c any/c any/c))]{
(-> blame? (-> any/c any/c any/c))]{
Returns the @racket[_late-neg] projection for @racket[c].
If @racket[c] does not have a @racket[_late-neg] contract,