Re: Strings with discriminated records

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

On 2018-05-29 03:40 PM, Dan'l Miller wrote:

> If you think that the ARG made a mistake in the wording of the _LRM_ to allow vastly more usage of RENAMES than “what* was originally intended”, then submit one or more AIs to launder the very-soiled dirty laundry versus have this viewpoint vetted by experts to see whether it has any merit at all.

Whatever mistakes made they are permanent now due to the backward 
compatibility issue.

Except for, possibly, not allowing a renaming to hide another renaming 
of the same object, there is nothing that can be fixed.

The case is represented by this:

    use Ada.IO_Exceptions;
    use Streams.Stream_IO;

    begin
       ...
    exception
       when End_Error => -- Illegal
          null;
    end;

which is obviously wrong, the code must be OK.

But if anybody would care write an AI to fix that, it will be surely 
rejected by ARG, on the ground of being "nice to have". I have more 
important things to do, so count me out.

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