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

Document with-contract-continuation-mark.

Browse Source
This commit is contained in:
Vincent St-Amour 2016-01-20 16:45:44 -06:00
parent fa96375742
commit 7c4aaa20a8
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2147,6 +2147,24 @@ contracts. The error messages assume that the function named by
functions, the wrapping (and thus the checks) are skipped. functions, the wrapping (and thus the checks) are skipped.
} }
@defform*[[(with-contract-continuation-mark blame body ...)
(with-contract-continuation-mark blame+neg-party body ...)]]{
Inserts a continuation mark that informs the contract profiler (see
@other-doc['(lib "contract-profile/scribblings/contract-profile")
#:indirect "contract profiling"])
that contract checking is happening.
For the costs from checking your new combinator to be included, you should wrap
any deferred, higher-order checks with this form. First-order checks are
recognized automatically and do not require this form.
If your combinator's projections operate on complete blame objects (i.e., no
missing blame parties), the blame object should be the first argument to this
form. Otherwise (e.g., in the case of @racket[_late-neg] projections), a pair
of the blame object and the negative party should be used instead.
@history[#:added "6.4.0.4"]
}
@subsection{Blame Objects} @subsection{Blame Objects}
@defproc[(blame? [x any/c]) boolean?]{ @defproc[(blame? [x any/c]) boolean?]{