Update TR history.

Please merge to 6.1.1.

(cherry picked from commit 66e5a246c4)
This commit is contained in:
Vincent St-Amour 2014-10-16 14:35:15 -04:00 committed by Ryan Culpepper
parent a96ca29576
commit 1ac11089d8

View File

@ -1,3 +1,9 @@
(add1 6.1.1)
- DrRacket tooltips for types and type errors.
6.1.1
- Exception handling is now sound. Broke existing programs (e.g. marketplace).
- More types for GUI and framework.
- Support for casts and predicates in typed regions.
6.1
- Inference speedups.
- Support for contracted functions in the base environment.