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: Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU>
Subject: Re: Private declaration question
Date: 1997/06/10
Message-ID: <5nibkg$p9t$1@goanna.cs.rmit.edu.au>#1/1
X-Deja-AN: 247334901
Distribution: world
References: <865912531.32snx@jvdsys.nextjk.stuyts.nl>
X-XXMessage-ID: <AFC2EED182011B17@obibicut.cs.rmit.edu.au>
Organization: Royal Melbourne Institute of Technology
Newsgroups: comp.lang.ada
Date: 1997-06-10T00:00:00+00:00
List-Id: <comp.lang.ada>


Jerry van Dijk writes:

"Why has the completion of a private declaration to be a full view ?

     1. package Oops is
     2.
     3.    type A_Type is limited private;
     4.
     5. private
     6.
     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;

Arrays can only be declared using definite (i.e. fixed size) types.

Try

	type A_Type (<>) is limited private;


Dale