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

On 09/06/2013 04:14 PM, samth at racket-lang.org wrote:
> 56b372c Sam Tobin-Hochstadt <samth at racket-lang.org> 2013-09-06 14:22
> :
> | Remember types that are defined, and use them in serialization.
> |
> | This extends a facility already available for base types,
> | making that facility no longer strictly needed.
> |
> | Shrinks the zo size for the `math` package by almost 1MB.
> :
>    M .../typed-racket/env/init-envs.rkt                |   1 +
>    M .../typed-racket/typecheck/def-export.rkt         |   7 +-
>    M .../typed-racket/typecheck/tc-toplevel.rkt        |  31 +++---
>    M .../typed-racket/types/abbrev.rkt                 |  36 +++----
>    M .../typed-racket/types/base-abbrev.rkt            |  12 ++-
>    M .../typed-racket/types/numeric-tower.rkt          | 108 +++++++++----------

Would you mind explaining this a little more? It sounds interesting, and 
the commit almost has my name in it. :)

Neil ⊥