From: joakimds@kth.se
Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)
Date: Tue, 26 Nov 2019 08:09:41 -0800 (PST)
Date: 2019-11-26T08:09:41-08:00 [thread overview]
Message-ID: <7e8ae6d8-17c0-478b-9e09-93bd0a4f75f4@googlegroups.com> (raw)
In-Reply-To: <a72818f2-c0c7-4db9-8099-59c0390b55f5@googlegroups.com>
Hi,
You are not missing anything with regards to bug reporting to AdaCore as far as I know. But I have had a more positive experience from the bug reporting to AdaCore. Not only have I received acknowledgements but also often messages informing me that the bug has been solved in the development version of the compiler.
I have also encountered similar bugs with respect to basic separation but the code in which I triggered such bugs was in proprietary applications and often did not have time to make small code example that trigger the bug in order to report it. Thanks for you efforts in reporting your findings.
Best regards,
Joakim
next prev parent reply other threads:[~2019-11-26 16: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 [this message]
2019-11-26 17:09 ` gerrshapovalov
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