typed-racket/collects
Sam Tobin-Hochstadt 6504b0856e Two types definitely overlap if they are equal.
Fixes infinite loop in Whalesong compilation.

original commit: c55cceed8c74ac7d8115fab6656e21949a1a33b8
2011-09-16 17:20:31 -04:00
..
tests Gave subprocess and similar functions more precise types. 2011-09-16 17:20:31 -04:00
typed Use better language for lang-info 2011-09-05 14:21:15 -04:00
typed-racket Two types definitely overlap if they are equal. 2011-09-16 17:20:31 -04:00
typed-scheme Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
unstable Added a match expander for objects in unstable. 2011-08-10 20:37:21 -04:00