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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:ea12:: with SMTP id m18mr23720861ioc.35.1550630181733;
        Tue, 19 Feb 2019 18:36:21 -0800 (PST)
X-Received: by 2002:aca:afc3:: with SMTP id y186mr361499oie.0.1550630181650;
 Tue, 19 Feb 2019 18:36:21 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!y42no39192ita.0!news-out.google.com!d79ni48itc.0!nntp.google.com!y22no39151ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 19 Feb 2019 18:36:21 -0800 (PST)
In-Reply-To: <ly36oknio9.fsf@pushface.org>
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: <fd975d66-8e70-4e86-8a75-efc6061ef25c@googlegroups.com>
 <lypnrqnitl.fsf@pushface.org>
 <bc3cde96-2655-4cd7-9b69-aecba3963f71@googlegroups.com>
 <lyd0npo5r2.fsf@pushface.org>
 <8b43f7fb-34e9-474e-a6b6-5e4e6f94f412@googlegroups.com>
 <ly7edxnh70.fsf@pushface.org> <ly36oknio9.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <2923bcd1-64fe-4dcc-b74b-c6a14932d12e@googlegroups.com>
Subject: Re: Private extension of a synchronized interface
From: Jere <jhb.chat@gmail.com>
Injection-Date: Wed, 20 Feb 2019 02:36:21 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2179
X-Received-Body-CRC: 3131337991
Xref: reader01.eternal-september.org comp.lang.ada:55597
Date: 2019-02-19T18:36:21-08:00
List-Id: <comp.lang.ada>

On Tuesday, February 19, 2019 at 6:04:26 AM UTC-5, Simon Wright wrote:
> Simon Wright <simon@pushface.org> 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?