The Racket developers mailing list ()

Matthias Felleisen | 29 Jul 2012 16:15

Re: [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, stamourv@... 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 <stamourv@...> 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

(Continue reading)

headers

Vincent St-Amour | 29 Jul 2012 16:57

Re: [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

headers

Sam Tobin-Hochstadt | 30 Jul 2012 00:27

Re: [plt] Push #25105: master branch updated

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