With all due respect. Was there a reason why parametric imports don't work? They do change behavior in a way that doesn't jive with the TR port-to-typed-without-change-in-semantics philosophy.
On Jul 29, 2012, at 9:27 AM, stamo...@racket-lang.org wrote: > stamourv has updated `master' from a0e6892d3e to dd02f5eeda. > http://git.racket-lang.org/plt/a0e6892d3e..dd02f5eeda > > =====[ One Commit ]===================================================== > Directory summary: > 43.8% collects/tests/typed-racket/succeed/ > 56.1% collects/typed-racket/ > > ~~~~~~~~~~ > > dd02f5e Vincent St-Amour <stamo...@racket-lang.org> 2012-07-29 09:02 > : > | Fix parametric require/typed in typed/racket/base. > | > | Closes PR12951. > | > | Please merge to release. > : > A collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt > M collects/typed-racket/typed-racket.rkt | 2 +- > > =====[ Overall Diff ]=================================================== > > collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > --- /dev/null > +++ NEW/collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt > @@ -0,0 +1,4 @@ > +#lang typed/racket/base > + > +(require/typed racket/base > + (values (All (a) (a -> a)))) > > collects/typed-racket/typed-racket.rkt > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > --- OLD/collects/typed-racket/typed-racket.rkt > +++ NEW/collects/typed-racket/typed-racket.rkt > @@ -7,7 +7,7 @@ > ;; that may appear in the residual program > "utils/utils.rkt" > (for-syntax "utils/utils.rkt") > - "utils/any-wrap.rkt" unstable/contract) > + "utils/any-wrap.rkt" unstable/contract racket/contract/parametric) > > (provide (rename-out [module-begin #%module-begin] > [top-interaction #%top-interaction]) _________________________ Racket Developers list: http://lists.racket-lang.org/dev