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

Make it so that handlers lookup arrities other than the first.

Browse Source 
Fixes current build breakage.

original commit: 6b0676ef2bc697ed39bff52e32dcfa3a9199f3aa
This commit is contained in:
Eric Dobson 2014-04-03 09:29:26 -07:00
parent 06fe71fe1e
commit 56beba63d3
1 changed files with 1 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/check-subforms-unit.rkt
View File

@ -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))]