Re: Problem with generic parameter

[Jacob Sparre Andersen <sparre@nbi.dk>]

Marius Amado Alves wrote:

> I think this is legal,

Thanks.

> 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;

The reason that I don't do that is that that would have to instantiate
a copy of Generic_Root _and_ Generic_Root.Child for each choice of
array indices.

I will report the problem to ACT and Debian. - And use your suggestion
as a workaround.

Jacob
-- 
Would you also prefer not to have had to read Victor Hugo?
Vote for EU software patents!

http://www.guardian.co.uk/online/comment/story/0,12449,1510566,00.html