From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,be018246a766b23
X-Google-Attributes: gid103376,public
From: jerry@jvdsys.nextjk.stuyts.nl (Jerry van Dijk)
Subject: Re: Private declaration question
Date: 1997/06/11
Message-ID: <865993476.33snx@jvdsys.nextjk.stuyts.nl>#1/1
X-Deja-AN: 247558619
Distribution: world
References: <5nibkg$p9t$1@goanna.cs.rmit.edu.au>
Organization: *JerryWare HQ*, Leiden, Holland
Newsgroups: comp.lang.ada
Date: 1997-06-11T00:00:00+00:00
List-Id: <comp.lang.ada>


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