From d5a89d5cff04c86b4f1c9cfffe50b40e361e1fd9 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 3 Dec 2012 11:58:23 -0500 Subject: [PATCH] Fix blame parties for proxied default prompt tag original commit: 55944057b5bdf02b9fd48a964739dfcd4ee516d8 --- collects/typed-racket/base-env/base-contracted.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-contracted.rkt b/collects/typed-racket/base-env/base-contracted.rkt index 122ad3bf..1a452281 100644 --- a/collects/typed-racket/base-env/base-contracted.rkt +++ b/collects/typed-racket/base-env/base-contracted.rkt @@ -25,7 +25,10 @@ (define default-continuation-prompt-tag (contract (-> (prompt-tag/c any-wrap/c #:call/cc any-wrap/c)) -default-continuation-prompt-tag - 'typed 'untyped))) + ;; TODO: we actually want to be able to specify that the + ;; "contract from" party is not the untyped party + ;; here, but that's not currently possible + 'untyped 'typed))) (require (for-template (submod "." contracted)) (submod "." contracted))