From: George Shapovalov <gerrshapovalov@gmail.com>
Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)
Date: Mon, 2 Dec 2019 01:02:12 -0800 (PST)
Date: 2019-12-02T01:02:12-08:00 [thread overview]
Message-ID: <ba96c2a3-4899-41c8-8a86-bea6884cf6d7@googlegroups.com> (raw)
In-Reply-To: <9bee64ac-42c4-495e-9ce6-69c306b8e3a5@googlegroups.com>
I am happy to report that I just got a feedback to my (very recently submitted) bug report - they fixed it, and the fix is already in their current development version.
Thanks to AdaCore for the prompt reaction! Great job!
next prev parent reply other threads:[~2019-12-02 9:02 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
2019-11-26 18:01 ` Simon Wright
2019-12-02 9:02 ` George Shapovalov [this message]
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