From d9e3c2ac6aa722ab0a66e6b8976f2a0cccbe208c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 10 Nov 2015 08:59:18 -0500 Subject: [PATCH] Repair da574a4 again. --- typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt | 3 ++- typed-racket-test/unit-tests/typecheck-tests.rkt | 5 ++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt b/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt index 6331ea3f..e7e90c6b 100644 --- a/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt +++ b/typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt @@ -251,7 +251,8 @@ restricted)) (if (null? possibles) #f - possibles)])) + possibles)] + [_ #f])) => (lambda (x) (register-ignored! (car (syntax-e body))) diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt index 408901a0..4a458ab1 100644 --- a/typed-racket-test/unit-tests/typecheck-tests.rkt +++ b/typed-racket-test/unit-tests/typecheck-tests.rkt @@ -3463,12 +3463,11 @@ (raise "foo")) #:ret (ret -String) #:msg #rx"expected: String.*given: Any"] - [tc-err + [tc-e (with-handlers ([string? (lambda: ([e : String]) (string-append e "bar"))] [symbol? (lambda (x) (symbol->string x))]) (raise 'foo)) - #:ret (ret -String) - #:msg #rx"expected: Symbol.*given: Any"] + #:ret (ret -String)] [tc-err (raise (λ ([x : Number]) (add1 x)))]