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

Fix continuation-mark-set-first type

Browse Source
This commit is contained in:
Asumu Takikawa 2012-11-02 12:32:19 -04:00
parent 5fbeffaec6
commit e123e85a90
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

@ -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)))]