From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Discriminant of a limited type object Date: Wed, 28 Feb 2018 10:07:21 +0100 Organization: Adalog Message-ID: References: NNTP-Posting-Host: TKk5kT01+2w6guVcOjcsiQ.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:50701 Date: 2018-02-28T10:07:21+01:00 List-Id: 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