Update TR history.

Please merge to 6.1.1.

original commit: 66e5a246c42dd585be9e42b280c0338de1e30892
This commit is contained in:
Vincent St-Amour 2014-10-16 14:35:15 -04:00
parent 58b3c4f4f7
commit 46b8e6668d

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.