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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a24:394f:: with SMTP id l76mr6032485ita.23.1550675065794; Wed, 20 Feb 2019 07:04:25 -0800 (PST) X-Received: by 2002:aca:4b89:: with SMTP id y131mr416285oia.3.1550675065697; Wed, 20 Feb 2019 07:04:25 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!news.redatomik.org!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!82.197.223.106.MISMATCH!feeder1.cambriumusenet.nl!feed.tweak.nl!209.85.166.216.MISMATCH!y42no14019ita.0!news-out.google.com!v188ni8itb.0!nntp.google.com!y42no14013ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 20 Feb 2019 07:04:25 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=70.109.61.2; posting-account=QF6XPQoAAABce2NyPxxDAaKdAkN6RgAf NNTP-Posting-Host: 70.109.61.2 References: <8b43f7fb-34e9-474e-a6b6-5e4e6f94f412@googlegroups.com> <2923bcd1-64fe-4dcc-b74b-c6a14932d12e@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1286dd6f-5043-4306-abeb-264e4cca2f0b@googlegroups.com> Subject: Re: Private extension of a synchronized interface From: Jere Injection-Date: Wed, 20 Feb 2019 15:04:25 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader01.eternal-september.org comp.lang.ada:55606 Date: 2019-02-20T07:04:25-08:00 List-Id: On Wednesday, February 20, 2019 at 5:46:06 AM UTC-5, Simon Wright wrote: > Jere writes: > > > On Tuesday, February 19, 2019 at 6:04:26 AM UTC-5, Simon Wright wrote: > >> Simon Wright writes: > >> > >> > I think perhaps there is a bug in GNAT after all, and I apologise to > >> > all concerned for hasty remarks. > >> > >> Shall I report this? or will you, Jere? > > > > I can send something to Adacore if you like. I'll link the google > > groups page of this discussion in addition to the sample that fails. > > If you think reporting it to FSF's GCC bug website is better, I'd > > defer to you instead. I don't generally have good luck submitting > > things to them without messing something up. Last time I got fussed > > at. Which do you think is the better location: Adacore or FSF GCC? > > In this case, definitely AdaCore. Remember to put GNAT in the subject > line. Sent it to them.