Re: formal array types and default values

[Mehdi Saada <00120260a@gmail.com>]

> If these types are generic formal types, I do not understand what 
> you mean by "public".
Sorry. The array is a public (as opposed to "private" ?) type, T_DEGRE and ELEMENT are formal generic parameters.

> Some compilers will allocate the COEF component 
> on the heap, according to the actual value of Degre, and then will not 
> have this problem. However, GNAT uses the allocate-maximum-size method.)
I would have liked to have the choice, through, say, an aspect Dynamic_Bounds_Checking, or somethin'

> The remedy is to place som reasonable upper bound on the maximum 
> possible value of Degre, by defining the type of Degree with a 
> reasonable 'Last.
It was indeed done initially in the package, but I thought I was smarter and removed it. Wrong...

Thanks for your insight.