Re: GNAT GPL 2009 - issue with floating points?

[Damien Carbonne <damien.carbonne@free.fr>]

Ludovic Brenta a �crit :
> Damien Carbonne wrote on comp.lang.ada:
>> Adam Beneschan a �crit :
>>> On Oct 9, 1:36 pm, Damien Carbonne <damien.carbo...@free.fr> wrote:
>>>> Hi,
>>>> When compiling the following sample code with GNAT GPL 2009 on Linux:
>>>> generic
>>>>     type Real is digits <>;
>>>> package Pack04 is
>>>>     Size1 : constant := Real'Size;
>>>>     Size2 : constant Integer := Real'Size;
>>>> end Pack04;
>>>> I get this:
>>>> -- pack04.ads:4:24: non-static expression used in number declaration
>>>> -- pack04.ads:4:28: size attribute is only static for scalar type (RM
>>>> 4.9(7,8))
> 
>> Do you mean that the formal generic parameter Real is not a scalar?
>> I'm certainly no an Ada expert, but I really find the message confusing.
> 
> Real is scalar all right but it is not static; the first error message
> is explicit about that.  I agree that the second message is confusing;
> it should read "size attribute is only static for a static scalar
> subtype (RM 4.9(7,8,26))".  Generic formal subtypes are non-static.
> 
> HTH
> 
> --
> Ludovic Brenta.
Thanks for clarification.
Damien