racket/collects/typed-scheme/utils
Sam Tobin-Hochstadt 2cd7fe5499 Simplify pattern for expressions in type env.
Attempt to avoid doing local-expansion repeatedly.

svn: r17812
2010-01-25 14:46:34 +00:00
..
require-contract.ss change expand and local-expand to lift certificates 2009-12-30 17:27:38 +00:00
stxclass-util.ss unstable: 2009-11-08 19:20:53 +00:00
syntax-traversal.ss unsafe ops (v4.2.1.8) 2009-09-06 18:24:46 +00:00
tc-utils.ss Simplify pattern for expressions in type env. 2010-01-25 14:46:34 +00:00
unit-utils.ss resolve conflicts 2009-04-24 21:21:06 +00:00
utils.ss Improve error messages in the simple case. 2010-01-07 19:41:42 +00:00