comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Discriminant of a limited type object
Date: Wed, 28 Feb 2018 10:07:21 +0100
Date: 2018-02-28T10:07:21+01:00	[thread overview]
Message-ID: <p75rg6$19io$1@gioia.aioe.org> (raw)
In-Reply-To: p75q15$1796$1@gioia.aioe.org

Le 28/02/2018 à 09:42, Dmitry A. Kazakov a écrit :
> But it is still arbitrary order in "&" arguments. Though do_init could
> take as an argument N - Size + 1 in order to determine the element's
> index, any other external state is not guaranteed. E.g. initialization
> of A (I + 1) cannot depend on initialization of A (I).
Well, the call order is arbitrary, however the build order is well
defined. So it matters only if the computation of some elements depends
on other elements being already computed. It if only depends on the
position, it's OK.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

  reply	other threads:[~2018-02-28  9:07 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-02-27 17:54 Discriminant of a limited type object Dmitry A. Kazakov
2018-02-27 22:20 ` Randy Brukardt
2018-02-27 22:53   ` Dmitry A. Kazakov
2018-02-28  6:36     ` J-P. Rosen
2018-02-28  8:42       ` Dmitry A. Kazakov
2018-02-28  9:07         ` J-P. Rosen [this message]
2018-02-28 17:16       ` Jeffrey R. Carter
2018-02-28 23:10     ` Randy Brukardt
2018-03-01  8:43       ` Dmitry A. Kazakov
2018-03-01 22:00         ` Randy Brukardt
2018-03-02 10:30           ` Dmitry A. Kazakov
replies disabled

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