On Friday, January 25, 2002, at 08:41 AM, Richard Kenner wrote: > Aliasing is very hard to reason about formally, because no matter > what you > do, you start running into the undecidability issue. > > Sure, but we're talking about alias *sets*, which is a different issue. Errr, not really. They just happen to be our representation of aliases for types. --Dan