From e123e85a9068941d52dff902c4e4f1c0692ebf2c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 2 Nov 2012 12:32:19 -0400 Subject: [PATCH] Fix continuation-mark-set-first type --- 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 52e9719343..5021961f96 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -2045,7 +2045,8 @@ (->opt -Cont-Mark-Set (-lst Univ) [Univ -Prompt-Tag] (-lst (-vec Univ)))))] [continuation-mark-set-first (-poly (a b) - (cl->* + (cl->* + (-> (-opt -Cont-Mark-Set) (make-Continuation-Mark-Key a) (-opt a)) (->opt (-opt -Cont-Mark-Set) (make-Continuation-Mark-Key a) [b -Prompt-Tag] (Un a b)) (->opt (-opt -Cont-Mark-Set) Univ [Univ -Prompt-Tag] Univ)))]