Sam Tobin-Hochstadt 35a67354ca Require that `require/typed' uses the contracted version of typed identifiers. ... svn: r14415 original commit: 6d302a93046299af4ccd58f8e8ea3938c258f7ac		2009-04-03 18:42:38 +00:00
..
fail	Require that `require/typed' uses the contracted version of typed identifiers.	2009-04-03 18:42:38 +00:00
succeed	Add refinement types.	2009-03-31 03:33:04 +00:00
unit-tests	Use 'no-free-identifier=? property with rename transformers.	2009-03-22 12:41:26 +00:00
main.ss	Fix automated TS tests.	2008-10-06 19:41:30 +00:00
run.ss	TS tests now work, and are not noisy when succeeding	2008-10-24 19:50:24 +00:00