From 0f0966b8f99bd9e2bfd4152fcc1f757858f76b63 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 30 Nov 2012 15:06:55 -0500 Subject: [PATCH] Add a type for `continuation?` original commit: d9f8c5e382d941150369ccb0a0d09b9e8ce27cb5 --- collects/typed-racket/base-env/base-env.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 3026e053..31b639f9 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -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))]