Add 6.8 HISTORY.

2017-01-17 08:55:20 -05:00 · 2017-01-17 08:55:20 -05:00 · 25419f9a9a
commit 25419f9a9a
parent ed2cf43a19
1 changed files with 8 additions and 0 deletions
--- a/typed-racket-lib/typed-racket/HISTORY.txt
+++ b/typed-racket-lib/typed-racket/HISTORY.txt
@ -1,3 +1,11 @@
+6.8
+- Restructured internal representations, especially of Union types.
+  See https://pnwamk.github.io/blog/2017/01/08/some-changes-in-typed-racket-v6-8/
+  for more details.
+- Add `typed/setup/getinfo`, `typed/images/compile-time`, `typed/file/glob`,
+  `typed/racket/gui/no-check`
+- Add `(Intersection ...)` syntax.
+- Fix type checking of optional & keyword arguments to be sound.
 6.7
 - Add `row-inst` and `Row`
 - Support polymorphic structs in `unsafe-require/typed`