Re: [racket-dev] [plt] Push #25105: master branch updated
On Sun, Jul 29, 2012 at 7:57 AM, Vincent St-Amour 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
Re: [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 _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #25105: master branch updated
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 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
