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

Fix up old TR tests that should fail now

Browse Source
This commit is contained in:
Asumu Takikawa 2012-11-05 16:05:06 -05:00
parent 3ed1d56b05
commit d6b0c71a91
2 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/succeed/test.rkt
View File

@ -58,7 +58,7 @@
(define-struct: xxx5 ([y : Number] [z : xxx4]))
(define-struct: (A) xxx6 ([y : A] [z : xxx4]))
xxx6-y
(with-continuation-mark 1 1 1)
(with-continuation-mark ((inst make-continuation-mark-key Integer)) 1 1)
'foo
'(foo foo foo)
(define-type-alias NNN Number)

11
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -600,8 +600,9 @@
(set! x "foo")
x)]
;; w-c-m
[tc-e/t (with-continuation-mark 'key 'mark
3)
[tc-e/t (with-continuation-mark
((inst make-continuation-mark-key Symbol)) 'mark
3)
-PosByte]
[tc-err (with-continuation-mark (5 4) 1
3)]
@ -1351,8 +1352,10 @@
#:ret (ret B (-FS -top -bot)))
;Continuation Prompt Tags ang Continuation Mark Sets
(tc-e (default-continuation-prompt-tag) -Prompt-Tag)
(tc-e (let: ((pt : Prompt-Tag (make-continuation-prompt-tag)))
;; TODO: supporting default-continuation-prompt-tag means we need to
;; specially handle abort-current-continuation in the type system
;(tc-e (default-continuation-prompt-tag) -Prompt-Tag)
(tc-e (let: ((pt : (Prompt-Tag Integer Integer) (make-continuation-prompt-tag)))
(continuation-marks #f pt)) -Cont-Mark-Set)
(tc-e (let: ((set : Continuation-Mark-Set (current-continuation-marks)))
(continuation-mark-set? set)) #:ret (ret B (-FS -top -bot)))