comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Private extension of a synchronized interface
Date: Wed, 20 Feb 2019 10:46:04 +0000
Date: 2019-02-20T10:46:04+00:00	[thread overview]
Message-ID: <lytvgyn3f7.fsf@pushface.org> (raw)
In-Reply-To: 2923bcd1-64fe-4dcc-b74b-c6a14932d12e@googlegroups.com

Jere <jhb.chat@gmail.com> writes:

> 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?

In this case, definitely AdaCore. Remember to put GNAT in the subject
line.


  reply	other threads:[~2019-02-20 10:46 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
2019-02-20 10:46               ` Simon Wright [this message]
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