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

Make polydotted * case in apply similar to other cases.

Browse Source 
original commit: 8ab29675d64b0d8113bf44cd7de5950dc8dfda49
This commit is contained in:
Eric Dobson 2014-04-27 18:48:23 -07:00
parent 27cabe8618
commit 3a41a532d3
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-apply.rkt
View File

@ -140,12 +140,10 @@
(cond
;; the actual work, when we have a * function
[(and rest
(<= (length domain) (length arg-tys))
(infer/vararg fixed-vars (list dotted-var)
(cons full-tail-ty arg-tys)
(cons (make-Listof rest) domain)
rest
range))
(infer fixed-vars (list dotted-var)
(list (-Tuple* arg-tys full-tail-ty))
(list (-Tuple* domain (make-Listof rest)))
range))
=> finish]
;; ... function, ... arg
[(and drest tail-bound