From 1a3cdd3594ce5c918c96bcb5f10bcd5739d56112 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 3 May 2014 13:38:25 -0400 Subject: [PATCH] Typed Racket history for 6.0.1. Please include in release. original commit: 31ccd1ba7c98a363fdd4c229a4f652c5d1e12628 --- .../typed-racket-lib/typed-racket/HISTORY.txt | 20 +++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt index 7c787b9d..fa49099f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt @@ -1,6 +1,22 @@ 6.0.1 -- Generate more optimized contracts -- Filters work better outside of if +- Types for classes (including row types, sealing contracts, etc). + Still experimental. +- Contracts are now optimized; in particular, redundant contracts are omitted +- Filters work with conditions that raise errors, as in the pattern + (begin (unless (number? x) (error 'fail)) + (add1 x)) +- Types are now pretty-printed +- Add prefix-style function types and `->*` function type constructor +- Support syntactic forms without : (such as let, lambda, for, etc) +- Type aliases support arbitrary mutual recursion +- Inform check-syntax about expansion results +- Add `typed/untyped-utils` library +- Add `typed/syntax/stx`, `typed/pict`, +- Significant test suite improvments +- Improved support for `Struct-Type` values +- Support keyword function definitions without annotation. +- Handle forward references in un-annotated definitions +- Improve type inference for `letrec`-bound variables 6.0 - Support for `define-type', `struct:', `make-predicate', etc. at the REPL - Performance work: optimized subtyping