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

Make Unions of function typechecking work again.

Browse Source
This commit is contained in:
Eric Dobson 2014-06-25 08:55:42 -07:00
parent 5cbe6cfdcb
commit 5339cbaac9
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-funapp.rkt
View File

@ -158,7 +158,7 @@
[(Union: (and ts (list (? Function?) ...))) [(Union: (and ts (list (? Function?) ...)))
(merge-tc-results (merge-tc-results
(for/list ([fty ts]) (for/list ([fty ts])
(tc/funapp f-stx args-stx fty argtys expected)))] (tc/funapp f-stx args-stx fty args-res expected)))]
;; error type is a perfectly good fcn type ;; error type is a perfectly good fcn type
[(Error:) f-type] [(Error:) f-type]
;; otherwise fail ;; otherwise fail

4
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -3102,6 +3102,10 @@
b) b)
-Bottom] -Bottom]
[tc-e
((if (even? 4) add1 (inst values Integer)) 4)
-Int]
) )
(test-suite (test-suite