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,start
X-Google-Attributes: gid103376,public
From: jerry@jvdsys.nextjk.stuyts.nl (Jerry van Dijk)
Subject: Private declaration question
Date: 1997/06/10
Message-ID: <865912531.32snx@jvdsys.nextjk.stuyts.nl>#1/1
X-Deja-AN: 247303914
Distribution: world
Organization: *JerryWare HQ*, Leiden, Holland
Newsgroups: comp.lang.ada
Date: 1997-06-10T00:00:00+00:00
List-Id: <comp.lang.ada>


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

After browsing the RM I think the error message comes from rule
7.3(4). If that is true, why is this ? It seems a logical construction
to protect A_Type objects from user interference.

--

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