[racket-dev] [plt] Push #25256: master branch updated

On 08/22/2012 02:52 PM, samth at racket-lang.org wrote:
> e9f2099 Eric Dobson <eric.n.dobson at gmail.com> 2012-08-12 14:36
> :
> | Fix typechecking of polymorphic structs with parent types.
> |
> | Closes PR12998.
> :
>    A collects/tests/typed-racket/fail/poly-struct-parent2.rkt
>    A collects/tests/typed-racket/fail/poly-struct-parent3.rkt
>    A collects/tests/typed-racket/fail/poly-struct-parent.rkt
>    A collects/tests/typed-racket/succeed/poly-struct-parent.rkt
>    M collects/typed-racket/infer/infer-unit.rkt            | 16 +++++++++++-----
>    M collects/typed-racket/typecheck/tc-structs.rkt        | 16 +++++++++++++---
>    M collects/typed-racket/types/subtype.rkt               |  6 +++---
>    M .../scribblings/reference/special-forms.scrbl         |  5 ++++-
>    M .../typed-racket/typecheck/tc-app/tc-app-hetero.rkt   |  2 +-

Thanks for this, guys. It appears to work perfectly.

Neil ⊥