comp.lang.ada
 help / color / mirror / Atom feed
From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Convention aspect stricter than before? - GNAT Community 2020
Date: Sat, 8 Aug 2020 10:46:51 +0100	[thread overview]
Message-ID: <rglsd4$147n$1@gioia.aioe.org> (raw)
In-Reply-To: rgl678$9u4$1@franka.jacob-sparre.dk

On 08/08/2020 04:29, Randy Brukardt wrote:

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

A bug in the compiler?


  reply	other threads:[~2020-08-08  9:46 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
2020-08-08  3:29   ` Randy Brukardt
2020-08-08  9:46     ` Luke A. Guest [this message]
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