From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: Referring to the instance of a generic parent package
Date: Thu, 24 Oct 2019 11:42:26 +0200
Date: 2019-10-24T11:42:26+02:00 [thread overview]
Message-ID: <qorrm2$cvg$1@dont-email.me> (raw)
In-Reply-To: <qopt4s$2vm$1@dont-email.me>
On 23/10/19 17:55, Jeffrey R. Carter wrote:
> On 10/23/19 2:54 PM, Alejandro R. Mosteo wrote:
>> I have the following situation:
>>
>> generic
>> package Parent is ... end Parent;
>>
>> generic
>> with package P is new Parent (<>);
>> package Sibling is ... end Sibling;
>>
>> generic
>> package Parent.Child is
>>
>> package A_Sibling is new Sibling (Parent);
>> -- Works in GNAT CE 2019
>> -- Error in FSF 7.4:
>> -- "Expect package instance to instantiate formal"
>>
>> end Parent.Child
>
> GNAT 9.1.0 also gives this error.
Thanks for the data point.
next prev parent reply other threads:[~2019-10-24 9:42 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-10-23 12:54 Referring to the instance of a generic parent package Alejandro R. Mosteo
2019-10-23 15:55 ` Jeffrey R. Carter
2019-10-24 9:42 ` Alejandro R. Mosteo [this message]
2019-10-23 16:29 ` Shark8
2019-10-24 9:35 ` Alejandro R. Mosteo
2019-10-24 16:26 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox