From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Convention aspect stricter than before? - GNAT Community 2020
Date: Fri, 7 Aug 2020 22:29:42 -0500
Organization: JSA Research & Innovation
Message-ID: <rgl678$9u4$1@franka.jacob-sparre.dk>
References: <b3b95127-bee2-47e2-aa9d-8d0a66668c0b@googlegroups.com> <f71cc789-9be5-4f7a-9e62-fe2cc97ebbe1o@googlegroups.com>
Injection-Date: Sat, 8 Aug 2020 03:29:45 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226";
	logging-data="10180"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader01.eternal-september.org comp.lang.ada:59682
List-Id: <comp.lang.ada>

"Fabien Chouteau" <fabien.chouteau@gmail.com> wrote in message 
news:f71cc789-9be5-4f7a-9e62-fe2cc97ebbe1o@googlegroups.com...
> On Wednesday, June 3, 2020 at 7:59:04 PM UTC+2, Jesper Quorning wrote:
>> The specification below compiles with CE2019 and GPL2017 but is rejected 
>> by > c_convention_records.ads:5:04: representation item must appear after 
>> type is fully defined
>>
>> Is this expected behaviour?
>
> TM 13.1 (9.1/3) : An operational item that directly specifies an aspect of 
> an entity shall appear before the entity is frozen (see 13.14)
>
> The pragma should be rejected as well actually.

???

I don't see anything in this package specification that freezes any of these 
types (other than "end", but of course that's well after the aspects and 
pragmas are given). Occurrences in a type declaration don't freeze a type 
(if they did, you couldn't mention a private type as a component type at 
all, since a partial view cannot be frozen before it is completed).

In any case, the pragma and aspect should be the same, so there's clearly a 
bug.


                            Randy.