From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:a37:a655:: with SMTP id p82mr1531147qke.92.1595444702421;
        Wed, 22 Jul 2020 12:05:02 -0700 (PDT)
X-Received: by 2002:a9d:47:: with SMTP id 65mr1253469ota.327.1595444702181;
 Wed, 22 Jul 2020 12:05:02 -0700 (PDT)
Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!peer03.ams4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 22 Jul 2020 12:05:01 -0700 (PDT)
In-Reply-To: <3c8ea85b-501b-4489-bf85-e1f5567a14d4o@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=80.114.173.191; posting-account=BtkjvAoAAADwEquGb07eykXfyiDMOxfl
NNTP-Posting-Host: 80.114.173.191
References: <f3eac0d8-478d-492f-ab0b-17bd37e21095o@googlegroups.com>
 <rf4l8i$o1j$1@dont-email.me> <3c8ea85b-501b-4489-bf85-e1f5567a14d4o@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7bbd54c2-38a2-483d-97d1-7984ec2ded9dn@googlegroups.com>
Subject: Re: 'Number_Of_CPUs' tasks creation, with discriminants, running simultaneously.
From: onox <denkpadje@gmail.com>
Injection-Date: Wed, 22 Jul 2020 19:05:02 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2507
X-Received-Body-CRC: 1962876226
Xref: reader01.eternal-september.org comp.lang.ada:59501
List-Id: <comp.lang.ada>

On Monday, July 20, 2020 at 10:31:46 PM UTC+2, olivier...@gmail.com wrote:
> > The order of the discriminants is arbitrary; there is no guarantee that Worker (I) will have ID of I. Elaboration is sequential, so each Worker will have a unique ID.
> As long as all the tasks get a unique ID, I am fine. 
> 
> Function as a discriminant at elaboration ... should have thought about it but it looks like I am missing some wisdom points. 
> 
> Thank you Jeffrey.

Another way is to use an extended return:

spec:

   type Worker;

   task type Worker_Task (Data : not null access constant Worker);

   type Worker is limited record
      ID : Positive;
      T  : Worker_Task (Worker'Access);
   end record;

   type Worker_Array is array (Positive range <>) of Worker;

   function Make_Workers return Worker_Array;

body:

   function Make_Workers return Worker_Array is
   begin
      return Result : Worker_Array (1 .. Positive (Count)) do
         for Index in Result'Range loop
            Result (Index).ID := Index;
         end loop;
      end return;
   end Make_Workers;

   Workers : constant Worker_Array := Make_Workers;
   pragma Unreferenced (Workers);