Vincent St-Amour 4e360f8bc3 Fix unsound fxquotient optimization. ... Closes PR13827. (cherry picked from commit 5e30416110)		2013-07-08 10:34:12 -04:00
..
fail	Fix parsing of (Struct ...) types.	2013-07-08 10:34:10 -04:00
optimizer	Fix unsound fxquotient optimization.	2013-07-08 10:34:12 -04:00
succeed	Register scoped type variables for internal def. annotations.	2013-07-08 10:34:11 -04:00
unit-tests	Make scoped type vars work only for explict Alls and annotations.	2013-07-08 10:34:11 -04:00
xfail	Use information of application site, to reduce possible arities.	2013-07-08 10:34:07 -04:00
main.rkt	Fix lots of indentation mistakes.	2013-03-14 10:55:47 -04:00
nightly-run.rkt
places.rkt	Add -v option to TR tests.	2012-08-22 16:50:50 -04:00
random-real.rkt	Sometimes generate random integers.	2013-04-01 14:44:31 -04:00
run.rkt	Add -v option to TR tests.	2012-08-22 16:50:50 -04:00
send-places.rkt	A whole bunch of missing newlines at EOFs (and a few other spaceages).	2012-10-19 06:47:24 -04:00
tr-random-testing.rkt	Re-enable testing of hyperbolic trigonometry functions.	2013-04-01 14:44:31 -04:00