Re: Problem with generic parameter

[Marius Amado Alves <amado.alves@netcabo.pt>]

I think this is legal, so the compiler is buggy. But I find it an  
unlogical generic idiom, and probably the bug has passed unnoticed  
before for this reason. That is, nobody wrote this before. What I find  
unlogical is the Generic_Root.Child parameters. I would find it logical  
to represent the array type as an exported entity instead of a generic  
parameter.

generic
    type Indices is (<>);
package Generic_Root
    type Measurement is array (Indices) of Measurement;

On 22 Jun 2005, at 11:21, Jacob Sparre Andersen wrote:

> with Generic_Root;
> with Generic_Root.Child;
>
> procedure Demo is
>
>    type Scalar is digits 15;
>
>    package Measurements is
>       new Generic_Root (Scalar => Scalar);
>
>    type Measurement_Array is array (Positive range <>)
>      of Measurements.Measurement;
>
>    package Measurement_Text_IO is
>       new Measurements.Child (Indices           => Positive,
>                               Measurement_Array => Measurement_Array);
>
> begin
>    null;
> end Demo;
>
> generic
>
>    type Scalar is digits <>;
>
> package Generic_Root is
>
>     
> ----------------------------------------------------------------------- 
> ----
>    --  type Limit:
>
>    type Limit is (Below, Exact, Above, Undefined);
>
>     
> ----------------------------------------------------------------------- 
> ----
>    --  type Measurement:
>
>    type Measurement (As : Limit := Exact) is
>       record
>          case As is
>             when Below | Exact | Above =>
>                Value : Scalar;
>             when Undefined =>
>                null;
>          end case;
>       end record;
>
>     
> ----------------------------------------------------------------------- 
> ----
>
> end Generic_Root;
>
> with Ada.Text_IO;
>
> generic
>
>    type Indices is (<>);
>
>    type Measurement_Array is array (Indices range <>) of Measurement;
>
> package Generic_Root.Child is
>
> end Generic_Root.Child;