Re: initialize an array (1-D) at elaboration using an expression based on the index?

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 16.10.10 02:16, Adam Beneschan wrote:

> It seems like it would be simple to add syntax to array aggregates in
> the language like
> 
> a : array(1..N) of Float := (for I in 1..N => Float(I)*Float(I));

I have an array of library level task objects.
Each task is supposed have a unique identifying number,
fixed and assigned at compile time.  Perhaps starting from
a task type definition like the following one:

   task T (Identity : Job_Id := No_Job) is ...

Could some variation of the (for ...) expression solve this,
i.e. provide the initial value?

   Jobs : array (Job_Id) of T := (for D in Job_Id => ???(D));

Borrowing from limited types, I'd think "???" might be just "T"?

   Jobs : array (Job_Id) of T := (for D in Job_Id => T (D));

Georg