suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Typed Racket history for 6.0.1.

Browse Source 
Please include in release.
This commit is contained in:
Sam Tobin-Hochstadt 2014-05-03 13:38:25 -04:00
parent e51ba9b565
commit 31ccd1ba7c
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/HISTORY.txt
View File

@ -1,6 +1,22 @@
6.0.1 6.0.1
- Generate more optimized contracts - Types for classes (including row types, sealing contracts, etc).
- Filters work better outside of if 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 6.0
- Support for `define-type', `struct:', `make-predicate', etc. at the REPL - Support for `define-type', `struct:', `make-predicate', etc. at the REPL
- Performance work: optimized subtyping - Performance work: optimized subtyping