typed-racket/collects/tests/typed-racket
Sam Tobin-Hochstadt d6f1c0eb1b Minor refactorings.
- Remove tracing requires.
 - Use lists instead of sets in a few environments.
 - Small cleanups.

original commit: 88ff5fee69ecf58527bb76923f4d4fd91aaa1967
2012-06-25 18:07:45 -04:00
..
fail Handle submodules in Typed Racket. 2012-06-16 22:08:06 +08:00
optimizer Fix TR optimizer test 2012-06-14 18:22:42 -04:00
succeed Add #:unless to the for: macros. 2012-06-25 13:38:51 -04:00
unit-tests Minor refactorings. 2012-06-25 18:07:45 -04:00
xfail A bunch of more typos like the ones in David's commit. 2012-02-21 14:21:43 -05:00
main.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
nightly-run.rkt Switch to racket/base to fix bizarre bug. 2011-09-07 16:08:00 -04:00
random-real.rkt Fixed erroneously imprecise type for +nan.f literal (now Single-Flonum-Nan) 2012-06-09 17:46:04 -06:00
run.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
tr-random-testing.rkt Restore testing of sqrt and log. 2012-06-09 22:07:43 -04:00