comp.lang.ada
 help / color / mirror / Atom feed
From: jerry@jvdsys.nextjk.stuyts.nl (Jerry van Dijk)
Subject: Private declaration question
Date: 1997/06/10
Date: 1997-06-10T00:00:00+00:00	[thread overview]
Message-ID: <865912531.32snx@jvdsys.nextjk.stuyts.nl> (raw)


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




             reply	other threads:[~1997-06-10  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-06-10  0:00 Jerry van Dijk [this message]
1997-06-10  0:00 ` Private declaration question Stephen Leake
1997-06-10  0:00 ` Anonymous
1997-06-10  0:00 ` Dale Stanbrough
1997-06-11  0:00   ` Jerry van Dijk
1997-06-10  0:00     ` John G. Volan
1997-06-10  0:00       ` John G. Volan
1997-06-10  0:00 ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox