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

Fix possible-domains on functions with multiple return values.

Browse Source 
original commit: a5f2ca8fb07f92076020053fc6053a5f6808308a
This commit is contained in:
Vincent St-Amour 2012-06-17 21:32:16 -04:00
parent ac527c5d30
commit fe7589c807
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/typecheck/tc-app-helper.rkt
View File

@ -182,7 +182,8 @@
(ormap (lambda (x) (subtype x fun-ty))
others))
(define expected-ty (and expected (match expected [(tc-result1: t) t])))
;; currently does not take advantage of multi-valued expected types
(define expected-ty (and expected (match expected [(tc-result1: t) t] [_ #f])))
(define (returns-subtype-of-expected? fun-ty)
(or (not expected)
(match fun-ty