Re: Why constant components are not permitted ?

[David Sauvage <david.sauvage@adalabs.com>]

On 24 nov, 23:06, a...@att.net wrote:
>   type test is record
>                  a : integer := 16#FFFF# ;
>                  b : string ( 1 .. 4 ) := "this" ; -- is OK
>                  c : string := "is" ; -- error because no define boundary
>                end record ;
>
> Reason no one ask the ARG.

ok, but the following is also not permitted

type Object is record
   Tag : constant Positive := 42; -- GNAT compilation failed :
constant components are not permitted
end record;

There is something special about constant components, no related to
unconstrained types in record.


Cheers