From: Eryndlia Mavourneen <eryndlia@gmail.com>
Subject: Re: GnAT Error with Remote_Types and Incomplete Type?
Date: Wed, 16 Nov 2016 19:59:58 -0800 (PST)
Date: 2016-11-16T19:59:58-08:00 [thread overview]
Message-ID: <c858ef3b-20e7-4803-a7ce-d31926bfb233@googlegroups.com> (raw)
In-Reply-To: <o0j5d8$206$1@franka.jacob-sparre.dk>
On Wednesday, November 16, 2016 at 8:42:36 PM UTC-6, Randy Brukardt wrote:
>
> ...
>
> Specifically, E.2.2(8) [which you say the compile is citing] says that the
> "full view of each type declared in the visible part that has any available
> stream attributes shall support external streaming". Since an incomplete
> type declares an incomplete view which is obviously not a full view, it
> shouldn't be subject to this rule, and thus the error is bogus.
>
> I'd report it to AdaCore, with the low priority it deserves (since this
> specific code is rather nonsense).
>
> Randy.
I will do that, Randy. Thanks for the sanity check.
Btw, the error curiously specified the line (4) of the completed type.
Eryndlia Mavourneen, KK1T
prev parent reply other threads:[~2016-11-17 3:59 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-11-15 13:48 GnAT Error with Remote_Types and Incomplete Type? Eryndlia Mavourneen
2016-11-15 19:10 ` Randy Brukardt
2016-11-16 3:42 ` Eryndlia Mavourneen
2016-11-16 22:25 ` Eryndlia Mavourneen
2016-11-17 2:42 ` Randy Brukardt
2016-11-17 3:59 ` Eryndlia Mavourneen [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox