From 29fb1c60c2e972b6c89f0e12fe6c54316ad274ad Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 20 Mar 2014 21:19:40 -0700 Subject: [PATCH] Make wcm not misuse the expected results. --- .../typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt | 2 +- .../tests/typed-racket/unit-tests/typecheck-tests.rkt | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt index 3b7e62a09c..37f76198f8 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt @@ -292,7 +292,7 @@ ;(tc-expr/check/type #'e2 Univ) ;(tc-expr/check #'e3 expected) (tc-error/expr "with-continuation-mark requires a continuation-mark-key, but got ~a" key-t - #:return expected)])] + #:return (ret -Bottom))])] ;; application [(#%plain-app . _) (tc/app/check form expected)] ;; #%expression diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt index 7aad17ede2..1d1fd75e9a 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -836,6 +836,9 @@ 3)] [tc-err (with-continuation-mark 1 2 (5 4))] + [tc-err (with-continuation-mark 'x 'y 'z) + #:ret (ret (-val 'z)) + #:expected (ret (-val 'z) -no-filter -no-obj)] ;; call-with-values