typed-racket/collects/tests/typed-scheme
Vincent St-Amour 09d88a7b26 Keep running TR tests even if optimizer tests fail.
original commit: fa016ea5761543428395328555e420336887d8f4
2011-05-05 18:54:12 -04:00
..
fail Struct types now generate flat contracts when appropriate. 2011-05-03 08:15:37 -04:00
optimizer Keep running TR tests even if optimizer tests fail. 2011-05-05 18:54:12 -04:00
succeed Changed Paths to PathStrings in types where appropriate 2011-05-03 18:20:31 -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 Delete compiled benchmarks when testing. 2010-10-01 17:48:46 -04:00
nightly-run.rkt Fix nightly running of TR tests. 2011-01-27 16:49:45 -05:00
run.rkt Keep running TR tests even if optimizer tests fail. 2011-05-05 18:54:12 -04:00