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

handle multiple body expression properly

Browse Source 
original commit: 0262ef681ac4394f9c2f8f19836777ee1fcc7a56
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-17 12:50:30 -04:00
parent 6b89ef5f82
commit d31b37acc1
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -235,11 +235,11 @@
(tc/rec-lambda/check form args body lp (cons acc-ty ts) expected)
expected)]
;; special case when argument needs inference
[(_ (body*) _)
[(_ (body* ...) _)
(let ([ts (for/list ([ac (syntax->list actuals)]
[f (syntax->list args)])
(let* ([infer-t (or (type-annotation f #:infer #t)
(find-annotation #'body* f))])
(find-annotation #'(begin body* ...) f))])
(if infer-t
(begin (check-below (tc-expr/t ac) infer-t)
infer-t)