From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a37:a695:: with SMTP id
 p143mr25676256qke.144.1570474856733;
        Mon, 07 Oct 2019 12:00:56 -0700 (PDT)
X-Received: by 2002:a9d:7cc9:: with SMTP id r9mr5299496otn.178.1570474856437;
 Mon, 07 Oct 2019 12:00:56 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!o24no6012512qtl.0!news-out.google.com!q23ni288qtl.1!nntp.google.com!o24no6012503qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 7 Oct 2019 12:00:56 -0700 (PDT)
In-Reply-To: <50fceebb-c48e-4b38-b0f5-2318672a70c1@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=198.99.129.179;
 posting-account=XfA3zgkAAABoz6fRf3Tehtnqqr7Ycml-
NNTP-Posting-Host: 198.99.129.179
References: <1c12f540-00b8-4be8-bfc6-13ad31d9916c@googlegroups.com>
 <96d5218a-2714-40dd-988d-10c7d27a96a2@googlegroups.com>
 <665a8b5e-533e-4df6-a1c1-7a4c257ea277@googlegroups.com>
 <50fceebb-c48e-4b38-b0f5-2318672a70c1@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9131e8b7-598a-40ff-a33e-420143ef6546@googlegroups.com>
Subject: Re: GNAT: no visible subprogram matches the specification for "Put"
From: Vincent Marciante <vincent.marciante@l3harris.com>
Injection-Date: Mon, 07 Oct 2019 19:00:56 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:57256
Date: 2019-10-07T12:00:56-07:00
List-Id: <comp.lang.ada>

On Monday, October 7, 2019 at 11:03:12 AM UTC-4, Stephen Leake wrote:

<snip>
=20
> So your code should work. However, I've often had problems referring to t=
hem from outside the generic, and the problems seem to change with each ver=
sion of GNAT. Note that this is not an intended use of the generic formal p=
arameters, but it is sometimes useful (if it works).
>=20
> So I agree this is (probably) a compiler bug.
>=20
> The fact that signature_package_instance compiles is not relevant;

I just included the "test" of it to show the GNAT is allowing the=20
problematic procedure to be visible to the test procedure but not allowing=
=20
it to be visible to the spec of the re-exporter. =20

> it is not using the name of a generic formal parameter from outside the g=
eneric; it is only referring to them in the body of the generic, which is w=
here they are intended to be used.

> One workaround is to put a rename declaration in the generic package:

Yes renaming is the workaround that non-posted code is using.

Thanks for having given you bug/nobug opinion. It will be easier for me to
justify bug submission to Adacore now. =20