[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, stamourv at 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 <stamourv at 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])