Re: Limited_Controlled, orthogonality and related issues

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 19 Jan 2007 15:17:04 -0500, Robert A Duff wrote:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> 
>> On Fri, 19 Jan 2007 11:36:57 -0500, Robert A Duff wrote:
>>
>>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>>> 
>> We could make all types "tagged" with non-stored tags. The keyword "tagged"
>> would mean a stored tag + by-reference semantics. This looks fully backward
>> compatible to me, at first glance.
> 
> OK, that might work.  I don't see anything fundamentally wrong with it
> "at first glance".  ;-)  I suppose abstract subprograms would cause
> minor troubles...
> 
> Perhaps you should push for this in Ada 2015 or 2025.  ;-)

I am pushing for it all the time!.. (:-))

>> As for legacy exceptions, we should choose a model first. Is End_Error a
>> type (derived from Root_Exception) or a value of Root_Exception?
> 
> End_Error should be a type (in this fantasy version of Ada).

Then we have the first problem. Types cannot be renamed in Ada. Exceptions
can be.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de