typed-racket/collects/tests/typed-scheme
Sam Tobin-Hochstadt 90039fecdc Try harder to find types for loop variables.
- use `find-annotation' more
 - recognize (let ([x y]) ...)

original commit: bdbb6d48e62e8009154a095f1fc5752766ab34fe
2010-06-17 11:26:33 -04:00
..
fail Generate -> instead of ->* when required by case->. 2010-06-13 15:01:57 -04:00
succeed Try harder to find types for loop variables. 2010-06-17 11:26:33 -04:00
unit-tests eq? is a predicate for eof 2010-06-15 14:59:08 -04:00
xfail new bug with mutation 2010-06-11 11:55:22 -04:00
main.rkt "Racunit" -> "Rackunit" 2010-05-17 12:07:32 -04:00
nightly-run.rkt rename all files .ss -> .rkt 2010-04-27 16:50:15 -06:00
run.rkt use `vector-member' 2010-05-03 18:03:01 -04:00