From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Private declaration question
Date: 1997/06/10
Date: 1997-06-10T00:00:00+00:00 [thread overview]
Message-ID: <EBK8nI.DyH@world.std.com> (raw)
In-Reply-To: 865912531.32snx@jvdsys.nextjk.stuyts.nl
In article <865912531.32snx@jvdsys.nextjk.stuyts.nl>,
Jerry van Dijk <jerry@jvdsys.nextjk.stuyts.nl> wrote:
> 7. type A_Type is array (Positive range <>) of Integer;
> |
> >>> full view of type must be definite subtype
This error message is not saying A_Type must be a full view -- it is, by
definition (full view = completion). It is saying A_Type must be
definite, which means the size for allocating objects is known.
You can make the private type indefinite by adding "(<>)" -- unknown
discriminants. Then then the full view can also be indefinite.
See 7.3(11-12).
- Bob
next prev parent 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 Private declaration question Jerry van Dijk
1997-06-10 0:00 ` Robert A Duff [this message]
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 ` Anonymous
1997-06-10 0:00 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox