typed-racket/collects/tests/typed-scheme
Vincent St-Amour 5a35d4ea66 Optimize add1 and sub1 on floats and fixnums.
original commit: 3ebe9e78f9c86feb14d80dd499adec6438dc37e3
2011-03-18 13:25:05 -04:00
..
fail Take the meet of constraints earlier in the inference process. 2011-03-18 10:25:19 -04:00
optimizer Optimize add1 and sub1 on floats and fixnums. 2011-03-18 13:25:05 -04:00
succeed Updated TR's base type environment to use the new numeric types. 2011-03-18 10:25:21 -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 Fix TR's GUI test harness. 2011-03-17 13:10:19 -04:00