From: gerrshapovalov@gmail.com
Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)
Date: Tue, 26 Nov 2019 09:09:56 -0800 (PST)
Date: 2019-11-26T09:09:56-08:00 [thread overview]
Message-ID: <d94b3e5a-d68c-46af-8172-77db670f58c5@googlegroups.com> (raw)
In-Reply-To: <7e8ae6d8-17c0-478b-9e09-93bd0a4f75f4@googlegroups.com>
On Tuesday, November 26, 2019 at 5:09:43 PM UTC+1, joak...@kth.se wrote:
> You are not missing anything with regards to bug reporting to AdaCore as far >as I know.
Thanks for confirmation.
> But I have had a more positive experience from the bug reporting to AdaCore.
Oh, but that was not intended to spite AdaCore or anything like that. In fact my experience can be considered positive too - one of the bug did get fixed :) (even if "silently"). Just a remark on the opaqueness of the whole proces and a suggestion on how it could be easily improved for the benefit of everybody :).
Thank for confirming the contact channels in any case!
(and to AdaCore for their efforts of course too)
next prev parent reply other threads:[~2019-11-26 17:09 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-22 13:26 yes another gnat bug (inherited tagged type as record field is too much for gnat??) gerrshapovalov
2019-11-22 13:33 ` gerrshapovalov
2019-11-22 13:39 ` Simon Wright
2019-11-22 13:57 ` gerrshapovalov
2019-11-25 19:31 ` gerrshapovalov
2019-11-25 20:01 ` Per Sandberg
2019-11-26 13:49 ` gerrshapovalov
2019-11-26 16:09 ` joakimds
2019-11-26 17:09 ` gerrshapovalov [this message]
2019-11-26 18:01 ` Simon Wright
2019-12-02 9:02 ` George Shapovalov
2019-12-02 10:02 ` joakimds
2019-12-02 17:12 ` Optikos
2019-12-02 17:50 ` AdaMagica
2019-12-02 19:51 ` George Shapovalov
2019-12-02 20:18 ` Simon Wright
2019-12-02 21:02 ` Optikos
2019-12-09 13:44 ` charlet
2019-12-10 12:12 ` charlet
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox