From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Preelaboration
Date: Mon, 16 May 2016 11:22:29 -0700
Date: 2016-05-16T11:22:29-07:00 [thread overview]
Message-ID: <nhd2ue$23s$1@dont-email.me> (raw)
In-Reply-To: <lymvnqnf3h.fsf@pushface.org>
On 05/16/2016 09:26 AM, Simon Wright wrote:
>
> And, looking at (10.1), would you expect
>
> generic
> type Item is private with Preelaborable_Initialization;
> package Generic_Queues is
>
> to be legal? GNAT rejects it, 'aspect "Preelaborable_Initialization" not
> allowed for formal type declaration'.
Preelaborable_Initialization is not listed as a language-defined aspect in ARM
K.1. ARM 10.2.1 (11.8/2) says that pragma Preelaborable_Initialization may
appear in a generic formal part, so if you replace the aspect with the pragma it
should be legal.
--
Jeff Carter
"I'm a vicious jungle beast!"
Play It Again, Sam
131
next prev parent reply other threads:[~2016-05-16 18:22 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-16 16:26 Preelaboration Simon Wright
2016-05-16 18:22 ` Jeffrey R. Carter [this message]
2016-05-16 19:55 ` Preelaboration Simon Wright
2016-05-16 20:28 ` Preelaboration Randy Brukardt
2016-05-16 21:03 ` Preelaboration Simon Wright
2016-05-17 23:25 ` Preelaboration Randy Brukardt
2016-05-18 0:05 ` Preelaboration Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox