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

minor cleanups

Browse Source 
original commit: 3c4f1f39b8acf610576f4069c37929f071c60ec3
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-28 17:07:21 -04:00
parent 7341d85d62
commit 7186e085fa
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/tc-setup.rkt
View File

@ -36,6 +36,8 @@
[infer-param infer]
;; do we report multiple errors
[delay-errors? #t]
;; do we print the fully-expanded syntax?
[print-syntax? #f]
;; this parameter is just for printing types
;; this is a parameter to avoid dependency issues
[current-type-names

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

@ -237,11 +237,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 #'(begin body* ...) f))])
(find-annotation #'(begin . body*) f))])
(if infer-t
(begin (check-below (tc-expr/t ac) infer-t)
infer-t)