Fix blame parties for proxied default prompt tag

original commit: 55944057b5bdf02b9fd48a964739dfcd4ee516d8
2012-12-03 11:58:23 -05:00 · 2012-12-03 11:58:23 -05:00 · d5a89d5cff
commit d5a89d5cff
parent 6ba4798b06
1 changed files with 4 additions and 1 deletions
--- 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))