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

Fix blame parties for proxied default prompt tag

Browse Source
This commit is contained in:
Asumu Takikawa 2012-12-03 11:58:23 -05:00
parent 25ed52f9d6
commit 55944057b5
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-racket/base-env/base-contracted.rkt
View File

@ -25,7 +25,10 @@
(define default-continuation-prompt-tag (define default-continuation-prompt-tag
(contract (-> (prompt-tag/c any-wrap/c #:call/cc any-wrap/c)) (contract (-> (prompt-tag/c any-wrap/c #:call/cc any-wrap/c))
-default-continuation-prompt-tag -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)) (require (for-template (submod "." contracted))
(submod "." contracted)) (submod "." contracted))