From bfe6d41157dd724366f6cbc6c6beb8f6f800a063 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 3 Sep 2013 17:55:34 -0400 Subject: [PATCH] Avoid swallowing errors. This hid the fact that error pruning was failing. original commit: 6ffc3eb7b614e415845e471e49a22e193dba1076 --- .../typed-racket/typecheck/tc-app-helper.rkt | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt index 788f5df8..8e46cfc4 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt @@ -205,9 +205,6 @@ ;; is not necessary to get the expected type (define (possible-domains doms rests drests rngs expected) - ;; If we fail, no big deal. We just don't prune the type. - (with-handlers ([exn:fail? (lambda (e) (list doms rngs rests drests))]) - ;; is fun-ty subsumed by a function type in others? (define (is-subsumed-in? fun-ty others) ;; a case subsumes another if the first one is a subtype of the other @@ -309,7 +306,7 @@ (call-with-values (lambda () (unzip4 (reverse parts-acc))) - list))))))))) + list)))))))) ;; Wrapper over possible-domains that works on types. (provide/cond-contract