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 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
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
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
