From 25419f9a9a1b03b4d3e9a9ebdc2e60493069cac9 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 17 Jan 2017 08:55:20 -0500 Subject: [PATCH] Add 6.8 HISTORY. --- typed-racket-lib/typed-racket/HISTORY.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt index b4467099..31e44e33 100644 --- 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`