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

From: Neil Toronto (neil.toronto at gmail.com)
Date: Mon May 26 19:11:31 EDT 2014

On 05/26/2014 09:21 AM, endobson at racket-lang.org wrote:
>
> 9efa4af Eric Dobson <endobson at racket-lang.org> 2014-05-16 08:13
> :
> | Make initial version of structural type recursion, and use it.
> :
>    A pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/structural.rkt
>    M .../typed-racket/infer/promote-demote.rkt         | 66 +++++++++++---------
>    M .../typed-racket/rep/type-rep.rkt                 |  8 ++-

I'm trying to figure out how excited I should be about this. Can you 
explain it a little?

Neil ⊥



Posted on the dev mailing list.