Re: Convention aspect stricter than before? - GNAT Community 2020

["Randy Brukardt" <randy@rrsoftware.com>]

"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.