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
..
any-wrap.rkt	Improve contract generation in Typed Racket.	2012-10-29 13:49:24 -04:00
arm.rkt
debug.rkt	Split out some small utilities to prepare to reduce dependencies.	2012-06-25 14:10:18 -04:00
disappeared-use.rkt	Delay actual initialization of type environment.	2012-07-12 17:41:12 -04:00
disarm.rkt	add var-ref->mod-decl-insp' and switch cur-code-insp' uses	2011-09-20 13:50:36 -06:00
mutated-vars.rkt	moved unstable/mutated-vars back to typed-racket	2011-12-18 13:57:49 -07:00
print-struct.rkt	Move define-struct/printer to new file.	2012-08-14 10:31:22 -04:00
require-contract.rkt	Minor refactorings.	2012-06-25 18:07:45 -04:00
stxclass-util.rkt	fix bad attr reference (datum attr doesn't exist)	2012-09-17 12:29:17 -04:00
syntax-traversal.rkt
tc-utils.rkt	Track mutable variables across modules.	2012-08-31 17:45:11 -04:00
timing.rkt	Split out some small utilities to prepare to reduce dependencies.	2012-06-25 14:10:18 -04:00
unit-utils.rkt	Split out some small utilities to prepare to reduce dependencies.	2012-06-25 14:10:18 -04:00
utils.rkt	Working covariant applications.	2012-09-27 16:22:22 -04:00