Update Typed Racket history.
Please merge to 6.0.
This commit is contained in:
parent
46260a6e85
commit
ac480e7535
|
@ -1,3 +1,12 @@
|
||||||
|
6.0
|
||||||
|
- Support for `define-type', `struct:', `make-predicate', etc. at the REPL
|
||||||
|
- Performance work: optimized subtyping
|
||||||
|
- Make `struct:' have the correct bindings in struct info
|
||||||
|
- Use pairs for objects on arrow types
|
||||||
|
- Split off `recover-source-syntax' into a separate package and generalized it
|
||||||
|
- Lots of doc improvements
|
||||||
|
- Lots of error message improvements
|
||||||
|
- Split into multiple packages
|
||||||
5.3.4
|
5.3.4
|
||||||
- Moved Optimization Coach to the package system
|
- Moved Optimization Coach to the package system
|
||||||
- Multiple fixes to polydots
|
- Multiple fixes to polydots
|
||||||
|
|
Loading…
Reference in New Issue
Block a user