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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,3f1374bc66d2dc03 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!news4.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: creating an array Date: Wed, 15 Feb 2006 11:37:51 +0100 Organization: Adalog Message-ID: References: <1139897171.996297.230070@z14g2000cwz.googlegroups.com> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1140001266 7296 195.25.228.57 (15 Feb 2006 11:01:06 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Wed, 15 Feb 2006 11:01:06 +0000 (UTC) User-Agent: Thunderbird 1.5 (Windows/20051201) In-Reply-To: Xref: g2news1.google.com comp.lang.ada:2904 Date: 2006-02-15T11:37:51+01:00 List-Id: Maciej Sobczak a �crit : > But what's more important - could you point to a specific paragraph in > AARM that guarantees that the two above are equivalent? I mean - is it > guaranteed that (others=>The_Function) has the meaning of increasing > order of indexes? Is is possible for the implementation to call > The_Function just once and reuse its return value for all elements' > assignments? > 5.2 seems to be a relevant chapter, but I haven't found anything that > would apply here. 4.3.3 does not help either. > > 4.3.3(23): each component is evaluated once (it is thus not allowed to evaluate the function only once), but this happens in an arbitrary order (there is no guarantee that the function is called in increasing index order). -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr