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

Remove extraneous check.

Browse Source
This commit is contained in:
Eric Dobson 2014-04-28 21:14:14 -07:00
parent cee3a3f2e1
commit 976c1de96d
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/tc-apply.rkt
View File

@ -92,7 +92,7 @@
range)) range))
=> finish] => finish]
;; the function has no rest argument, but provides all the necessary fixed arguments ;; the function has no rest argument, but provides all the necessary fixed arguments
[(and (not rest) (not drest) (not tail-bound) [(and (not rest) (not drest)
(infer vars null (infer vars null
(list (-Tuple* arg-tys full-tail-ty)) (list (-Tuple* arg-tys full-tail-ty))
(list (-Tuple domain)) (list (-Tuple domain))