Re: Record representation

[Stephen Leake <stephen_leake@acm.org>]

"Martin Dowie" <martin.dowie@baesystems.com> writes:

> Is there anything that could be done (quickly ;-) by the ARG for Ada200Y to
> do something about this common pain in the *ss?
> 
> package Record_Rep is
> 
>    type A is record
>       I : Integer;
>    end record;
>    for A'Size use Integer'Size;
> 

     Max_Index : constant := 10;

>    type Index is new Integer range 1 .. 10;

     type Index is new Integer range 1 .. Max_Index;
> 
>    type AA is array (Index) of A;
>    for AA'Size use A'Size * Index'Last;  -- Not allowed!!!!!

     for AA'Size use A'Size * Max_Index;

> end Record_Rep;
> 
> Surely the language could be made smart enough to support this? This can be
> a real maintenance nightmare to change.

If Ada doesn't let you do it, there is a better way :).

On the other hand, I agree it would be nice if Index'Last were static
in this instance. But 'Last can't be static in general, so it's
reasonable for it to be never static.

-- 
-- Stephe