On 09/06/2013 04:14 PM, sa...@racket-lang.org wrote:
56b372c Sam Tobin-Hochstadt <sa...@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 ⊥ _________________________ Racket Developers list: http://lists.racket-lang.org/dev
