From df3d7d642baeec5cde6d87a0432aaca79b027580 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 20 Mar 2014 21:54:17 -0700 Subject: [PATCH] Fix misuse of expected in tc-send. original commit: 8de32baf28b507db1d834349a8d8289992e447bf --- .../typed-racket-lib/typed-racket/typecheck/tc-send.rkt | 2 +- .../tests/typed-racket/unit-tests/class-tests.rkt | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-send.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-send.rkt index f0b5beab..2232a0dd 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-send.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-send.rkt @@ -28,7 +28,7 @@ retval)] [(tc-result1: t) (int-err "non-symbol methods not supported by Typed Racket: ~a" t)])] [(tc-result1: t) (tc-error/expr/fields - #:return (or expected (ret -Bottom)) + #:return (ret -Bottom) "send: type mismatch" "expected" "an object" "given" t)])) diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt index a1d5710b..7f0fc351 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt @@ -104,6 +104,10 @@ (define/public (m x) (n)))) (void)) -Void] + ;; Send to non object + [tc-err (send 4 m 3) + #:ret (ret (-val 5)) + #:expected (ret (-val 5) -no-filter -no-obj)] ;; Field access via get-field [tc-e (let () (: j% (Class (field [n Integer])