From 9f76a941ed252943e8b9cda0523ac17dbec2695b Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 1 Apr 2014 23:49:47 -0700 Subject: [PATCH] Make exception handlers smarter about opening the result. original commit: d29df205f7bb8347f60c82206b74e3e167e2de24 --- .../typed-racket/typecheck/check-subforms-unit.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-subforms-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-subforms-unit.rkt index 3d4efb8d..c03cb6b7 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-subforms-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-subforms-unit.rkt @@ -58,13 +58,13 @@ (define body-ty #f) (define body-stx #f) ;; tc-result1 -> tc-results - ;; The result of applying the function to a single argument of type (Un) - ;; FIXME: (Un) is the wrong type, see above fixme + ;; The result of applying the function to a single argument of the type of its first argument + ;; FIXME: This is the wrong type, see above fixme (define (get-result-ty t) (let loop ((t t)) (match t - [(Function: _) - (tc/funapp #'here #'(here) (ret t) (list (ret (Un))) #f)] + [(Function: (cons (arr: (cons arg1 args) _ _ _ _) _)) + (tc/funapp #'here #'(here) (ret t) (list (ret arg1)) #f)] [(? needs-resolving? t) (loop (resolve t))] [(or (Poly: ns _) (PolyDots: (list ns ... _) _))