From 6b0676ef2bc697ed39bff52e32dcfa3a9199f3aa Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Thu, 3 Apr 2014 09:29:26 -0700 Subject: [PATCH] Make it so that handlers lookup arrities other than the first. Fixes current build breakage. --- .../typed-racket/typecheck/check-subforms-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 c03cb6b741..e82416eb51 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 @@ -63,7 +63,7 @@ (define (get-result-ty t) (let loop ((t t)) (match t - [(Function: (cons (arr: (cons arg1 args) _ _ _ _) _)) + [(Function: (list _ ... (arr: (list arg1) _ _ #f (list (Keyword: _ _ #f) ...)) _ ...)) (tc/funapp #'here #'(here) (ret t) (list (ret arg1)) #f)] [(? needs-resolving? t) (loop (resolve t))]