Re: Private declaration question

[jerry@jvdsys.nextjk.stuyts.nl (Jerry van Dijk)]

In article <5nibkg$p9t$1@goanna.cs.rmit.edu.au> dale@goanna.cs.rmit.EDU.AU writes:

>     3.    type A_Type is limited private;
>     7.    type A_Type is array (Positive range <>) of Integer;
>                |
>        >>> full view of type must be definite subtype"
>
>>think what would happen if someone declared...
>>
>>        type stuff is array (1..10) of A_Type;

Someone would have a problem :-)

>Arrays can only be declared using definite (i.e. fixed size) types.
>
>        type A_Type (<>) is limited private;

Ok, but then it fails on

      type A_type (<>, <>) is limited private;
   ...
   private
      type A_Type is array (Positive range <>, Positive range <>) of Integer;

However both GNAT and ObjectAda accept:

      type A_type (<>) is limited private;
   ...
   private
      type A_Type is array (Positive range <>, Positive range <>) of Integer;

but of course fail when trying to create an A_Type object.

Any idea's ?

--

-- Jerry van Dijk       | Leiden, Holland
-- Business Consultant  | Team Ada
-- Ordina Finance       | jdijk@acm.org