On 05/26/2014 09:21 AM, endob...@racket-lang.org wrote:

9efa4af Eric Dobson <endob...@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 ⊥


_________________________
 Racket Developers list:
 http://lists.racket-lang.org/dev

Reply via email to