comp.lang.ada
 help / color / mirror / Atom feed
From: Fabien Chouteau <fabien.chouteau@gmail.com>
Subject: Re: Convention aspect stricter than before? - GNAT Community 2020
Date: Tue, 4 Aug 2020 06:31:38 -0700 (PDT)	[thread overview]
Message-ID: <f71cc789-9be5-4f7a-9e62-fe2cc97ebbe1o@googlegroups.com> (raw)
In-Reply-To: <b3b95127-bee2-47e2-aa9d-8d0a66668c0b@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.

http://www.ada-auth.org/standards/12rm/html/RM-13-1.html

  parent reply	other threads:[~2020-08-04 13:31 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-06-03 17:59 Convention aspect stricter than before? - GNAT Community 2020 Jesper Quorning
2020-06-03 18:35 ` Jeffrey R. Carter
2020-08-04 13:31 ` Fabien Chouteau [this message]
2020-08-08  3:29   ` Randy Brukardt
2020-08-08  9:46     ` Luke A. Guest
2020-08-10  0:15       ` Randy Brukardt
2020-08-10  6:35         ` Luke A. Guest
2020-08-10  9:15           ` Simon Wright
2020-08-10 14:53             ` Luke A. Guest
2020-08-11  7:18           ` Jesper Quorning
2020-08-11  7:34             ` Luke A. Guest
2020-08-11 16:23               ` Jesper Quorning
2020-08-11 19:23                 ` Luke A. Guest
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox