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