[racket-dev] [plt] Push #25105: master branch updated
At Sun, 29 Jul 2012 10:15:17 -0400,
Matthias Felleisen wrote:
> 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.
Parametric imports were already in `typed/racket', but were not in
`typed/racket/base'.
This commit fixes `typed/racket/base' to be consistent with
`typed/racket'. It doesn't change the semantics of parametric imports.
Vincent