From bbe3521530f8f6b6150f7f55e24f5a4c79c48b47 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 20 Oct 2015 11:20:46 -0500 Subject: [PATCH] Update history. Please merge to 6.3. --- typed-racket-lib/typed-racket/HISTORY.txt | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt index 020f2791..9f96294d 100644 --- a/typed-racket-lib/typed-racket/HISTORY.txt +++ b/typed-racket-lib/typed-racket/HISTORY.txt @@ -1,5 +1,13 @@ -(add1 6.2) +6.3 - Startup time reduction +- Tightening and cleanup of numeric types +- Sealing contracts for row polymorphic types +- `define-new-subtype` +- More robust compound pair operations optimizations +- Redesign of top-level support, using trampolining macros +- Static contract caching more conservative, causes contract generation slowdowns +- Experimental unit support +- `typed/racket/unsafe`, with `unsafe-require/typed` and `unsafe-provide` 6.2 - Use submodules to avoid allocating contract wrappers when not needed. - Class types and contract generation are significantly improved, but still experimental.