Re: GNAT GPL 2009 - issue with floating points?

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

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.