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

Don't fail early here.

Browse Source 
svn: r12729

original commit: 587ca084669594f2d58b8a9152127e78ec364acb
This commit is contained in:
Sam Tobin-Hochstadt 2008-12-08 03:37:24 +00:00
parent fe7eb33c59
commit d0a893f9a1
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/tc-app-unit.ss
View File

@ -685,7 +685,9 @@
(tc/app/internal #'(#%plain-app apply . args) expected)]
;; special-er case for (apply values (list x y z))
[(#%plain-app apply values e)
(cond [(untuple (tc-expr/t #'e)) => (lambda (t) (ret (-values t)))]
(cond [(with-handlers ([exn:fail? (lambda _ #f)])
(untuple (tc-expr/t #'e)))
=> (lambda (t) (ret (-values t)))]
[else (tc/apply #'values #'(e))])]
;; special case for `apply'
[(#%plain-app apply f . args) (tc/apply #'f #'args)]