From: Jere <jhb.chat@gmail.com>
Subject: Re: Private extension of a synchronized interface
Date: Tue, 19 Feb 2019 18:36:21 -0800 (PST)
Date: 2019-02-19T18:36:21-08:00 [thread overview]
Message-ID: <2923bcd1-64fe-4dcc-b74b-c6a14932d12e@googlegroups.com> (raw)
In-Reply-To: <ly36oknio9.fsf@pushface.org>
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?
next prev parent reply other threads:[~2019-02-20 2:36 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-16 0:52 Private extension of a synchronized interface Jere
2019-02-17 9:50 ` Dmitry A. Kazakov
2019-02-17 13:46 ` Jere
2019-02-17 14:52 ` Dmitry A. Kazakov
2019-02-17 15:36 ` Jere
2019-02-17 16:28 ` Dmitry A. Kazakov
2019-02-17 20:56 ` Jere
2019-02-17 22:36 ` Simon Wright
2019-02-18 0:36 ` Jere
2019-02-18 8:11 ` Dmitry A. Kazakov
2019-02-18 8:29 ` Simon Wright
2019-02-18 8:42 ` Dmitry A. Kazakov
2019-02-18 8:26 ` Simon Wright
2019-02-18 8:33 ` Simon Wright
2019-02-18 15:40 ` Jere
2019-02-18 17:24 ` Simon Wright
2019-02-19 11:04 ` Simon Wright
2019-02-20 2:36 ` Jere [this message]
2019-02-20 10:46 ` Simon Wright
2019-02-20 15:04 ` Jere
2019-02-18 15:49 ` Jere
2019-02-18 22:06 ` Randy Brukardt
2019-02-18 22:35 ` Randy Brukardt
2019-02-19 10:01 ` Egil H H
2019-02-19 11:29 ` Simon Wright
2019-02-19 11:53 ` Egil H H
2019-02-20 2:32 ` Jere
2019-02-20 13:46 ` Simon Wright
2019-02-20 23:43 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox