[racket-dev] [plt] Push #25105: master branch updated

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Jul 29 18:27:34 EDT 2012

On Sun, Jul 29, 2012 at 7:57 AM, Vincent St-Amour <stamourv at ccs.neu.edu> wrote:
> 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'.

More specifically, Typed Racket changed to statically depend on less
of the contract system at expansion time, but I neglected to ensure
that the appropriate `require` of `racket/contract/polymorphic` was
maintained for the residual program.
sam th
samth at ccs.neu.edu

Posted on the dev mailing list.