From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Referring to the instance of a generic parent package
Date: Wed, 23 Oct 2019 17:55:08 +0200
Date: 2019-10-23T17:55:08+02:00 [thread overview]
Message-ID: <qopt4s$2vm$1@dont-email.me> (raw)
In-Reply-To: <qopiif$1fq$1@dont-email.me>
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.
--
Jeff Carter
"Go and boil your bottoms."
Monty Python & the Holy Grail
01
next prev parent reply other threads:[~2019-10-23 15:55 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 [this message]
2019-10-24 9:42 ` Alejandro R. Mosteo
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