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

Add a type for continuation?

Browse Source 
original commit: d9f8c5e382d941150369ccb0a0d09b9e8ce27cb5
This commit is contained in:
Asumu Takikawa 2012-11-30 15:06:55 -05:00
parent 711e418eec
commit 0f0966b8f9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/base-env/base-env.rkt
View File

@ -2044,7 +2044,8 @@
[call/ec (-poly (a b) (((a . -> . (Un)) . -> . b) . -> . (Un a b)))]
[call-with-continuation-barrier (-poly (a) (-> (-> a) a))]
[continuation-prompt-available? (-> (make-Prompt-TagTop) B)]
;; TODO?: continuation? is missing
[continuation?
(asym-pred Univ B (-FS (-filter top-func 0) -top))]
[continuation-prompt-tag? (make-pred-ty (make-Prompt-TagTop))]
[dynamic-wind (-poly (a) (-> (-> ManyUniv) (-> a) (-> ManyUniv) a))]