From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Strings with discriminated records
Date: Tue, 29 May 2018 16:04:34 +0200
Organization: Aioe.org NNTP Server
Message-ID: <pejmlh$1ic1$1@gioia.aioe.org>
References: <55ce14eb-6b83-4ea0-a550-f9e1410d0b06@googlegroups.com>
 <51dfb377-1b3e-45ca-a211-158101efe557@googlegroups.com>
 <peet5r$1gr6$1@gioia.aioe.org>
 <090d6eb2-9f52-4471-a22e-ce1bdf457188@googlegroups.com>
 <lyvab8i5uq.fsf@pushface.org>
 <ec73d3e4-5eab-45ad-a770-b42f49b498e3@googlegroups.com>
 <90f0f8da-dadd-4341-bc0f-dbda94b0516c@googlegroups.com>
 <dd4cdeec-1cf8-4989-8cb3-c84af0a7d7e7@googlegroups.com>
 <137bcc76-2489-4557-979b-5efeecbd9289@googlegroups.com>
 <pej0lt$8rl$1@gioia.aioe.org>
 <02ca60ab-0cf6-45d6-bed5-0358d4f5763d@googlegroups.com>
NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.8.0
X-Notice: Filtered by postfilter v. 0.8.3
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:52762
Date: 2018-05-29T16:04:34+02:00
List-Id: <comp.lang.ada>

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