On Fri, 2006-02-24 at 19:47 +0100, Sebastian Pop wrote: > Jeffrey A Law wrote: > > Another possibility is to simply not allow conversions between a > > subtype and basetype. > > Such a patch also solves the problem. But I'm not sure to understand > the impact on other codes. Is this kind of conversion between a type > and its basetype specific to Ada? I suspect, but certainly have not confirmed that these conversions are very common in Ada, but relatively rare elsewhere. Confirming that suspicion one way or the other is on my TODO list for the weekend.
jeff
