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" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Discriminant of a limited type object
Date: Wed, 28 Feb 2018 07:36:49 +0100
Organization: Adalog
Message-ID: <p75ilv$rqm$1@gioia.aioe.org>
References: <p745vr$pma$1@gioia.aioe.org>
 <p74lj6$ls3$1@franka.jacob-sparre.dk> <p74nge$1oto$1@gioia.aioe.org>
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
Content-Language: fr
X-Notice: Filtered by postfilter v. 0.8.3
Xref: reader02.eternal-september.org comp.lang.ada:50698
Date: 2018-02-28T07:36:49+01:00
List-Id: <comp.lang.ada>

Le 27/02/2018 à 23:53, Dmitry A. Kazakov a écrit :
>    A : T (1..N);
> begin
>    for Index in A'Range loop
>       do-init of A (Index)
>    end loop;
> 
>         |
>         V
> 
>    Index : Positive := 1;
>    function F return Element is
>    begin
>       Index := Index + 1;
>       return do-init of A (Index - 1);
>    end F;
>    A : T (1..N) := (others => F)
But this does not guarantee the order of components. I'd rather write
(changing do_init to a function):
   function Init_All (Size : Integer) return T is
   begin
      if Size = 1 then
         return (1 => do_init)
      else
         return do_init & Init_All (size - 1);
      end if;
   end;

   A : T := Init_All (N);
-- 
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