On 08/22/2012 02:52 PM, sa...@racket-lang.org wrote:
e9f2099 Eric Dobson <eric.n.dob...@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 ⊥ _________________________ Racket Developers list: http://lists.racket-lang.org/dev
