Jonathan S. Shapiro wrote: > On Tue, 2006-08-22 at 10:31 -0400, Swaroop Sridhar wrote: > Do we agree that the scope of a dummy type is similar to the scope of a > type variable, in the sense that it has no meaning outside of it's > top-level form? Yes. Swaroop.