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

Remove extraneous check.

Browse Source 
original commit: 976c1de96d21a61feefd3d1e4c5499e4f5a4fab3
This commit is contained in:
Eric Dobson 2014-04-28 21:14:14 -07:00
parent 6c069c38bd
commit 736a97e0b4
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))
=> finish]
;; 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
(list (-Tuple* arg-tys full-tail-ty))
(list (-Tuple domain))