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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Studying and Maintaining GNAT, Is There Any Interest in a New
 Group?
Date: Sun, 2 Sep 2018 14:10:34 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <pmgjvq$2us$1@dont-email.me>
References: <d0ae2366-32a2-42ff-8750-4802bbcfd251@googlegroups.com>
 <309225242.556906218.575482.laguest-archeia.com@nntp.aioe.org>
 <ec9cbd0c-51d4-4a55-a2b0-b6c6b96bb9fb@googlegroups.com>
 <ly4lfimepc.fsf@pushface.org>
 <b21b2991-a0b0-46ed-ba49-b5cbad1e9a98@googlegroups.com>
 <2145221813.556924687.162377.laguest-archeia.com@nntp.aioe.org>
 <lysh30kv4l.fsf@pushface.org>
 <0001HW.213464550E84375C70000C7DB2CF@news.individual.net>
 <c647d0f6-7908-4e7e-8731-5364fa921d54@googlegroups.com>
 <wcc5zzqtels.fsf@TheWorld.com> <pmcgps$850$1@franka.jacob-sparre.dk>
 <849e14d4-5790-4951-be18-bc2fa8561051@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 2 Sep 2018 12:10:34 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="e3e273f53030868486efcfd2e7ca0b35";
	logging-data="3036"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+/vue7yeqIlxW7s5vWWb9TwhefeHGDrWI="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.9.1
Cancel-Lock: sha1:1Jl3f1ihW+PQALrF6ewWZfi4eTc=
In-Reply-To: <849e14d4-5790-4951-be18-bc2fa8561051@googlegroups.com>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:54312
Date: 2018-09-02T14:10:34+02:00
List-Id: <comp.lang.ada>

On 09/02/2018 12:11 PM, AdaMagica wrote:
> Am Samstag, 1. September 2018 00:51:42 UTC+2 schrieb Randy Brukardt:
>> Similarly, in Ada 2012:
>>      Ren1 : Natural renames Func(1); -- Legal.
>>      Ren2 : Natural renames Natural'(Func(1)); -- Legal.
>>      Ren3 : Natural renames Natural(Func(1)); -- Illegal!!!
>>
>> At least Ada 2020 will fix this one. But try this:
>>       Ren4 : Boolean renames Boolean'(A and B); -- Legal.
>>       Ren5 : Boolean renames Boolean'(A and then B); -- Illegal.
>>       Ren6 : Boolean renames "and"(A, B); -- Legal.
>>       Ren7 : Boolean renames A and B; -- Illegal.
> 
> Ahem, perhaps my Gnat 2018 is not correct, but it rejects only Ren7, which is an expression, and that cannot be renamed according to syntax.

FSF GNAT 8.0.1 rejects all 3:

$ gnatmake renaming.ads
gcc-8 -c renaming.ads
renaming.ads:9:27: renaming of conversion only allowed for tagged types
renaming.ads:11:34: expect object name in renaming
renaming.ads:13:28: missing ";"
gnatmake: "renaming.ads" compilation error

-- 
Jeff Carter
"Blessed are they who convert their neighbors'
oxen, for they shall inhibit their girth."
Monty Python's Life of Brian
83