Re: Type declared in record?

[James Rogers <jimmaureenrogers@att.net>]

Freejack <user@nospam.net> wrote in 
news:pan.2003.11.11.20.25.14.453080.936@nospam.net:

> When using Ada records, is there a way to do something like this...
> 
>      type Foo is record
>           type Bar is array(1..Blah) of Positive;
>           Foo1 : Natural;
>           Foo2 : Natural;
>           <ect...>
>      end record;
> 
> I know I can achieve the same(or a similiar) effect using a tagged type.
> I was just curious if the above approach is possible, if there was a type
> constraint that could be placed on type Bar that would garauntee a
> correct elaboration at either compile time or run-time.
>

type Bar is array(Positive range <>) of Positive;

type Foo (Blah : Positive) is record
   Bar1 : Bar(1..Blah);
   Foo1 : Natural;
   Foo2 : Natural;
   <etc...>
end record;

Jim Rogers