From a41bbd78b510956d93226bc37aeab5de8b0dd2df Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 9 Jul 2013 16:43:56 -0400 Subject: [PATCH] Document contract-continuation-mark-key. --- pkgs/contract-profile/main.rkt | 1 - .../racket-doc/scribblings/reference/contracts.scrbl | 6 ++++++ racket/lib/collects/racket/contract/base.rkt | 1 + 3 files changed, 7 insertions(+), 1 deletion(-) diff --git a/pkgs/contract-profile/main.rkt b/pkgs/contract-profile/main.rkt index cd9546330a..b2cbd4b6dc 100644 --- a/pkgs/contract-profile/main.rkt +++ b/pkgs/contract-profile/main.rkt @@ -2,7 +2,6 @@ (require racket/list unstable/list racket/match racket/set racket/format racket/contract - (only-in racket/contract/private/guts contract-continuation-mark-key) profile/sampler profile/utils profile/analyzer "dot.rkt" "utils.rkt" "boundary-view.rkt") diff --git a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl index 7440989c3d..bb153b7f1a 100644 --- a/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -2306,6 +2306,12 @@ search tree invariant. Removing the @racket[-opt/c] also makes a binary search tree contract, but one that is (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]} @defmodule[racket/contract/base] diff --git a/racket/lib/collects/racket/contract/base.rkt b/racket/lib/collects/racket/contract/base.rkt index 3f8a81697b..4406181b67 100644 --- a/racket/lib/collects/racket/contract/base.rkt +++ b/racket/lib/collects/racket/contract/base.rkt @@ -48,4 +48,5 @@ ;; from private/guts.rkt has-contract? value-contract + contract-continuation-mark-key )