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

Fix mutated variable handling at the top level.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2015-11-18 13:15:37 -05:00
parent f7123b8e57
commit 9fc2c5b3c3
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -43,7 +43,8 @@
(types utils abbrev printer generalize)
(typecheck tc-toplevel tc-app-helper)
(private type-contract syntax-properties)
(utils disarm lift utils timing tc-utils arm)))
(env mvar-env)
(utils disarm lift utils timing tc-utils arm mutated-vars)))
(provide tc-toplevel-trampoline
tc-toplevel-trampoline/report)
@ -85,6 +86,7 @@
(define fully-expanded
;; a non-begin form can still cause lifts, so still have to catch them
(disarm* (local-expand/capture* #'e 'top-level (list #'module*))))
(find-mutated-vars fully-expanded mvar-env)
;; Unlike the `begin` cases, we probably don't need to trampoline back
;; to the top-level because we're not catching lifts from macros at the
;; top-level context but instead from expression context.