Eric Dobson 8d78a2a152 Make type->contract correctly respect variance. ... Track whether we are protecting values from the typed side and/or the untyped side. Closes PR 13662. Closes PR 13663. Closes PR 13665. (cherry picked from commit b5b13222c8)		2013-07-08 10:34:07 -04:00
..
fail	Make type->contract correctly respect variance.	2013-07-08 10:34:07 -04:00
optimizer	Have Optimization Coach report unsound float division missed optimizations.	2013-04-04 15:31:50 -04:00
succeed	Allow requiring functions with filters in contravariant positions.	2013-07-08 10:34:07 -04:00
unit-tests	Fix subtyping of (ListDots t 'a) <: (Listof t).	2013-07-08 10:34:07 -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
random-real.rkt	Sometimes generate random integers.	2013-04-01 14:44:31 -04:00
run.rkt
send-places.rkt
tr-random-testing.rkt	Re-enable testing of hyperbolic trigonometry functions.	2013-04-01 14:44:31 -04:00