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

Forgot to add fixes into last commit

Browse Source
This commit is contained in:
Asumu Takikawa 2015-09-30 18:16:51 -04:00
parent e8820503e7
commit 435e733d66
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
typed-racket-lib/typed-racket/typecheck/toplevel-trampoline.rkt
View File

@ -69,11 +69,12 @@
#'e]
;; keep trampolining on begins
[(begin (define-values (n) e-rhs) ... (begin e ... e-last))
#`(begin (tc-toplevel-trampoline (define-values (n) e-rhs)) ...
(tc-toplevel-trampoline e) ...
#`(begin (tc-toplevel-trampoline orig-stx (define-values (n) e-rhs))
...
(tc-toplevel-trampoline orig-stx e) ...
#,(if report?
#'(tc-toplevel-trampoline/report e-last)
#'(tc-toplevel-trampoline e-last)))]
#'(tc-toplevel-trampoline/report orig-stx e-last)
#'(tc-toplevel-trampoline orig-stx e-last)))]
[_
(define fully-expanded
;; a non-begin form can still cause lifts, so still have to catch them