Sam Tobin-Hochstadt 26a209d374 Require numeric-predicates at the correct phase. ... Closes PR 11897. original commit: af56616fc8ebe84f61ce9d6a2f15530361c739b9		2011-05-05 19:04:38 -04:00
..
fail	Struct types now generate flat contracts when appropriate.	2011-05-03 08:15:37 -04:00
optimizer	Integrate the TR and TR optimizer test suites.	2011-05-05 18:54:12 -04:00
succeed	Require numeric-predicates at the correct phase.	2011-05-05 19:04:38 -04:00
unit-tests	Updated TR's base type environment to use the new numeric types.	2011-03-18 10:25:21 -04:00
xfail	Take the meet of constraints earlier in the inference process.	2011-03-18 10:25:19 -04:00
main.rkt	Integrate the TR and TR optimizer test suites.	2011-05-05 18:54:12 -04:00
nightly-run.rkt	Fix nightly running of TR tests.	2011-01-27 16:49:45 -05:00
run.rkt	Integrate the TR and TR optimizer test suites.	2011-05-05 18:54:12 -04:00