From ebb0770edf5d72791a3cb0cd788cb38f32f4fd1e Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 21 Apr 2017 17:01:11 -0400 Subject: [PATCH] v6.9 HISTORY --- typed-racket-lib/typed-racket/HISTORY.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt index 31e44e33..559fa6f3 100644 --- a/typed-racket-lib/typed-racket/HISTORY.txt +++ b/typed-racket-lib/typed-racket/HISTORY.txt @@ -1,3 +1,6 @@ +6.9 +- Added initial steps towards refinement types. +- Fixes related to numeric types and NaN. 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/