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

Avoid swallowing errors.

Browse Source 
This hid the fact that error pruning was failing.

original commit: 6ffc3eb7b614e415845e471e49a22e193dba1076
This commit is contained in:
Vincent St-Amour 2013-09-03 17:55:34 -04:00
parent 5efbf50364
commit bfe6d41157
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
View File

@ -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