typed-racket/collects
Stevie Strickland f3a78d1e10 Two fixes in overlap checking.
- Names were not being resolved, so a superstruct name and substruct name
   could be seen as non-overlapping.
 - Struct parents were not checked in the overlapping algorithm.

original commit: 654b7df1decd52763ffedcdc507a4bf367b1cecf
2010-07-16 19:08:19 -04:00
..
tests Added mutable pair optimizations. 2010-07-16 12:22:16 -04:00
typed base-types-new -> base-types 2010-06-17 11:47:16 -04:00
typed-scheme Two fixes in overlap checking. 2010-07-16 19:08:19 -04:00
unstable Improve interface for `find-mutated-vars', now supports mutable *and* immutable versions. 2010-07-06 14:09:46 -04:00