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

Make wcm not misuse the expected results.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-20 21:19:40 -07:00
parent e355539c41
commit 29fb1c60c2
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -292,7 +292,7 @@
;(tc-expr/check/type #'e2 Univ) ;(tc-expr/check/type #'e2 Univ)
;(tc-expr/check #'e3 expected) ;(tc-expr/check #'e3 expected)
(tc-error/expr "with-continuation-mark requires a continuation-mark-key, but got ~a" key-t (tc-error/expr "with-continuation-mark requires a continuation-mark-key, but got ~a" key-t
#:return expected)])] #:return (ret -Bottom))])]
;; application ;; application
[(#%plain-app . _) (tc/app/check form expected)] [(#%plain-app . _) (tc/app/check form expected)]
;; #%expression ;; #%expression

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -836,6 +836,9 @@
3)] 3)]
[tc-err (with-continuation-mark 1 2 (5 4))] [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 ;; call-with-values