[racket-dev] [plt] Push #28799: master branch updated
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 ⊥