Make Unions of function typechecking work again.

original commit: 5339cbaac99fe8620436846a5ba696157646be1c
2014-06-25 08:55:42 -07:00 · 2014-06-25 08:55:42 -07:00 · 671ad37a5b
commit 671ad37a5b
parent 67294c2a5d
2 changed files with 5 additions and 1 deletions
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-funapp.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-funapp.rkt
@ -158,7 +158,7 @@
    [(Union: (and ts (list (? Function?) ...)))
     (merge-tc-results
      (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:) f-type]
    ;; otherwise fail
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
@ -3102,6 +3102,10 @@
          b)
        -Bottom]

+       [tc-e
+         ((if (even? 4) add1 (inst values Integer)) 4)
+         -Int]
+
        )

  (test-suite