Sam Tobin-Hochstadt 422a24db81 Improve contract generation in Typed Racket. ... This fixes several issues: - `Parameter` generates impersonator contracts correctly - `Any` handling now copies immutable data when possible - `Any` now recognizes more atomic base types Merge to 5.3.1. (cherry picked from commit c6dc1e6ece)		2012-10-29 13:49:24 -04:00
..
parse-classes.rkt	Move typed-scheme to typed-racket collection.	2011-09-03 20:49:39 -04:00
parse-type.rkt	Removed unused fields in Struct	2012-09-27 16:22:21 -04:00
type-annotation.rkt	Track mutable variables across modules.	2012-08-31 17:45:11 -04:00
type-contract.rkt	Improve contract generation in Typed Racket.	2012-10-29 13:49:24 -04:00
with-types.rkt	Replaced infer-dummy with lazy-require.	2012-08-14 16:04:51 -04:00