From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Full view of limited extension?
Date: Wed, 26 Oct 2016 16:08:01 -0500
Date: 2016-10-26T16:08:01-05:00 [thread overview]
Message-ID: <nur5uc$er0$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: nur5ki$epv$1@franka.jacob-sparre.dk
"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:nur5ki$epv$1@franka.jacob-sparre.dk...
> "Maciej Sobczak" <see.my.homepage@gmail.com> wrote in message
> news:5c6388d5-8545-4fa3-9c8c-228850e23028@googlegroups.com...
...
>>So it's both required and forbidden, at least according to *some* version
>>of GNAT.
>
> So *some* version of GNAT has a bug? Wow, what a news flash. :-)
BTW, GNAT Pro 7.4.1 compiles the following correct code without errors:
with Ada.Finalization;
package Test is
type Parent is limited interface;
type Child is limited new Parent with private;
private
type Child is
limited new Ada.Finalization.Limited_Controlled
and Parent with record
I : Integer;
end record;
end Test;
next prev parent reply other threads:[~2016-10-26 21:08 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-10-18 6:24 Full view of limited extension? Maciej Sobczak
2016-10-18 7:22 ` G.B.
2016-10-18 7:30 ` Vratislav Podzimek
2016-10-18 15:22 ` Tero Koskinen
2016-10-20 0:40 ` Randy Brukardt
2016-10-26 13:36 ` Maciej Sobczak
2016-10-26 21:02 ` Randy Brukardt
2016-10-26 21:08 ` Randy Brukardt [this message]
2016-10-27 7:56 ` Maciej Sobczak
2016-10-29 4:06 ` Coyo T Stormcaller
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox