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

Initialize `infer' for tests

Browse Source 
original commit: 95c5f942e6854e1d066b7627b2f65097e14e24b9
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-22 10:11:14 -04:00
parent eb621217bc
commit 0bf7faa4fa
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -15,7 +15,8 @@
[true-lfilter -true-lfilter]
[true-filter -true-filter]
[-> t:->])
(utils tc-utils utils)
(except-in (utils tc-utils utils) infer)
typed-scheme/infer/infer-dummy typed-scheme/infer/infer
unstable/mutated-vars
(env type-name-env type-env-structs init-envs)
rackunit rackunit/text-ui
@ -63,6 +64,7 @@
#`(parameterize ([delay-errors? #f]
[current-namespace (namespace-anchor->namespace anch)]
[custom-printer #t]
[infer-param infer]
[orig-module-stx (quote-syntax e)])
(let ([ex (expand 'e)])
(parameterize ([mutated-vars (find-mutated-vars ex)])
@ -74,6 +76,7 @@
#`(parameterize ([delay-errors? #f]
[current-namespace (namespace-anchor->namespace anch)]
[custom-printer #t]
[infer-param infer]
[orig-module-stx (quote-syntax e)])
(let ([ex (expand 'e)])
(parameterize ([mutated-vars (find-mutated-vars ex)])