racket/collects/tests/typed-racket
2013-02-18 11:56:59 -05:00
..
fail Forbid singleton types for integers whose type is platform-dependent. 2013-02-11 14:30:19 -05:00
optimizer Fix optimization of unary complex - and /. 2013-02-14 18:24:52 -05:00
succeed Improve types for exit and in-naturals. 2013-02-18 11:56:57 -05:00
unit-tests Fixes *-filter types and filter of zero?. 2013-02-18 11:56:59 -05:00
xfail Typed modules as languages doesn't currently work. 2013-01-14 14:27:33 -05:00
main.rkt
nightly-run.rkt
places.rkt
random-real.rkt
run.rkt
send-places.rkt
tr-random-testing.rkt Randomly test the TR optimizer. 2012-12-03 21:54:01 -05:00