typed-racket/collects
Stevie Strickland 0161cda2d4 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.
(cherry picked from commit 654b7df1decd52763ffedcdc507a4bf367b1cecf)

original commit: 3884d5661022ef970a77f127e7a58d052760d635
2010-07-18 18:58:02 -04:00
..
tests Generic inexact complex arithmetic operations are now replaced with 2010-07-07 19:42:54 -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-18 18:58:02 -04:00
unstable Improve interface for `find-mutated-vars', now supports mutable *and* immutable versions. 2010-07-06 14:09:46 -04:00