On Sun, Jul 29, 2012 at 7:57 AM, Vincent St-Amour <stamo...@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 sa...@ccs.neu.edu _________________________ Racket Developers list: http://lists.racket-lang.org/dev