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:ac8:4714:: with SMTP id f20mr38295271qtp.2.1570560468548;
        Tue, 08 Oct 2019 11:47:48 -0700 (PDT)
X-Received: by 2002:a9d:7251:: with SMTP id
 a17mr27350854otk.110.1570560468330;
 Tue, 08 Oct 2019 11:47:48 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!o24no9382261qtl.0!news-out.google.com!x7ni1287qtf.0!nntp.google.com!o24no9382256qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 8 Oct 2019 11:47:48 -0700 (PDT)
In-Reply-To: <qnii68$rss$1@dont-email.me>
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>
 <58103920-4692-46b8-9426-e5a85fa04e77@googlegroups.com>
 <1516f9bd-4790-45be-af7a-8df61022a495@googlegroups.com>
 <910cbe74-b78b-460a-94e3-6eee002fb9a4@googlegroups.com>
 <qnii68$rss$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <12ad6eba-e75b-42c5-99f0-ed68369a04fe@googlegroups.com>
Subject: Re: GNAT: no visible subprogram matches the specification for "Put"
From: Vincent Marciante <vincent.marciante@l3harris.com>
Injection-Date: Tue, 08 Oct 2019 18:47:48 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:57268
Date: 2019-10-08T11:47:48-07:00
List-Id: <comp.lang.ada>

On Tuesday, October 8, 2019 at 1:48:59 PM UTC-4, bj=C3=B6rn lundin wrote:
> Den 2019-10-08 kl. 16:53, skrev Optikos:
> > Because you can clearly demonstrate 2 different compiler-vendors' diame=
trically opposing interpretation of the AARM's current wording on this topi=
c, you =E2=80=A2must=E2=80=A2* submit an AI to the ARG to clarify this.  Ho=
pefully, they will wholeheartedly endorse the ObjectAda interpretation, unl=
ess further evidence & reasoning reveals that GNAT's apparent bug is actual=
ly the wiser interpretation for some useful purpose.

Agreed!

>=20
> That code works with one compiler and not with another does not=20
> automatically mean that the working one is correct.

Also agreed!

<snip>

> Then we argued that it does work with both ObjectAda and with Verdix,
> and had been working for many years.
>=20
> I still remember Robert Dewar's reply.
>=20
> "You are lucky it works. Your program is highly erroneous"
>=20
> End of story.

I have also previously reported seemingly wrong behavior of GNAT
with a similar _initial_ response from RBKD - actually just the
last part "Your program is highly erroneous". ;-)
However after c.l.a discussion, he changed his opinion and did make
subsequent changes to GNAT in order accept the code in question!
So there is hope!

(Unfortunately RBKD would not be the one to do it :-(  R.I.P.)