Sam Tobin-Hochstadt 5cb93424d5 Simplify pattern for expressions in type env. ... Attempt to avoid doing local-expansion repeatedly. svn: r17812 original commit: 2cd7fe5499fab307a6b2287111cdb02fa5fb06ab		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
tc-utils.ss	Simplify pattern for expressions in type env.	2010-01-25 14:46:34 +00:00
utils.ss	Improve error messages in the simple case.	2010-01-07 19:41:42 +00:00