From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Initializing an array of tasks with discrimants
Date: Fri, 22 Nov 2019 16:27:59 -0800 (PST)
Date: 2019-11-22T16:27:59-08:00 [thread overview]
Message-ID: <4c20f9aa-56bd-4156-aee7-7fb6398b005e@googlegroups.com> (raw)
In-Reply-To: <wcca78nzcox.fsf@shell02.theworld.com>
On Friday, November 22, 2019 at 3:57:52 PM UTC-8, Robert A Duff wrote:
> Jere <jhb.chat@gmail.com> writes:
>
> > Is there a particular aggregate that I can use to avoid
> > the superfluous wrapper record?
>
> See AI12-0212-1.TXT. Not yet implemented in GNAT,
> as far as I know.
I would add precondition to Next as
function Next return Positive with pre => Next_Value < Positive'Last;
Anh Vo
next prev parent reply other threads:[~2019-11-23 0:27 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-22 22:07 Initializing an array of tasks with discrimants Jere
2019-11-22 22:39 ` Jeffrey R. Carter
2019-11-23 16:23 ` Jere
2019-11-22 23:57 ` Robert A Duff
2019-11-23 0:27 ` Anh Vo [this message]
2019-11-23 9:12 ` Randy Brukardt
2019-11-23 16:50 ` Jere
2019-11-23 16:25 ` Jere
2019-11-23 8:29 ` Dmitry A. Kazakov
2019-11-23 16:28 ` Jere
2019-11-23 17:03 ` Dmitry A. Kazakov
2019-11-23 16:57 ` Jere
2019-11-25 22:36 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox