typed-racket/typed-racket-test
Asumu Takikawa 241f04bcdb Fix typed provide uses in some modules
When identifiers provided by typed modules were used in
certain submodules of the form (module* n #f ...) or were
used by modules implemented in a language defined by TR,
the wrong redirection was used in the expansion.

The reason was because TR's identifier redirection decided
whether it was in a typed or untyped context at module visit
time, but that's too early in the cases above.

(because TR's #%module-begin may not have begun expanding yet)

The fix uses a rename-transformer that delays the decision
to use the typed or untyped identifier until expansion time.

Closes GH issue #163 and #181

Closes PR 15118
2015-09-08 15:53:34 -04:00
..
fail Add error message specifications 2015-08-14 21:42:21 -05:00
gui/succeed Fix first-order check for TR's opaque object/c 2015-03-13 16:52:34 -04:00
optimizer Rewrite compound pair operation optimization. 2015-08-14 17:28:47 -05:00
performance Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
succeed Fix typed provide uses in some modules 2015-09-08 15:53:34 -04:00
unit-tests Remove dependency on unstable/contract. 2015-09-07 21:38:22 -05:00
xfail Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
info.rkt Remove dependency on unstable/contract. 2015-09-07 21:38:22 -05:00
LICENSE.txt Remove extra directories. 2014-12-02 00:53:36 -05:00
main.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
nightly-run.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
places.rkt Rename open-place to place/context. 2015-07-28 16:15:08 -05:00
random-real.rkt Use math/flonum instead of unstable/flonum. 2015-08-27 14:14:51 -05:00
run.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
send-places.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
test-docs-complete.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
tr-random-testing.rkt Reduce directory nesting for tests. 2014-12-16 10:07:25 -05:00
with-tr-contracts.rkt Fix more collection paths. 2014-12-18 09:30:17 -05:00