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

Document contract-continuation-mark-key.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-07-09 16:43:56 -04:00
parent 54cea00f4f
commit a41bbd78b5
3 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
pkgs/contract-profile/main.rkt
View File

@ -2,7 +2,6 @@
(require racket/list unstable/list racket/match racket/set racket/format (require racket/list unstable/list racket/match racket/set racket/format
racket/contract racket/contract
(only-in racket/contract/private/guts contract-continuation-mark-key)
profile/sampler profile/utils profile/analyzer profile/sampler profile/utils profile/analyzer
"dot.rkt" "utils.rkt" "boundary-view.rkt") "dot.rkt" "utils.rkt" "boundary-view.rkt")

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

@ -2306,6 +2306,12 @@ search tree invariant. Removing the @racket[-opt/c] also
makes a binary search tree contract, but one that is makes a binary search tree contract, but one that is
(approximately) 20 times slower.} (approximately) 20 times slower.}
@defthing[contract-continuation-mark-key continuation-mark-key?]{
Key used by continuation marks that are present during contract checking.
The value of these marks are the blame objects that correspond to the contract
currently being checked.
}
@section{@racketmodname[racket/contract/base]} @section{@racketmodname[racket/contract/base]}
@defmodule[racket/contract/base] @defmodule[racket/contract/base]

1
racket/lib/collects/racket/contract/base.rkt
View File

@ -48,4 +48,5 @@
;; from private/guts.rkt ;; from private/guts.rkt
has-contract? has-contract?
value-contract value-contract
contract-continuation-mark-key
) )