From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a05:620a:81a:: with SMTP id s26mr34493217qks.11.1575306722979; Mon, 02 Dec 2019 09:12:02 -0800 (PST) X-Received: by 2002:aca:1c0d:: with SMTP id c13mr67200oic.44.1575306722680; Mon, 02 Dec 2019 09:12:02 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!g89no10356461qtd.0!news-out.google.com!o19ni915qtr.1!nntp.google.com!g89no10356452qtd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 2 Dec 2019 09:12:02 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.234.173; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.234.173 References: <9bee64ac-42c4-495e-9ce6-69c306b8e3a5@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1f64ab89-81b4-4f26-a414-f3e1f53507ca@googlegroups.com> Subject: Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??) From: Optikos Injection-Date: Mon, 02 Dec 2019 17:12:02 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader01.eternal-september.org comp.lang.ada:57621 Date: 2019-12-02T09:12:02-08:00 List-Id: On Monday, December 2, 2019 at 3:02:14 AM UTC-6, George Shapovalov wrote: > 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! We should use this as an example to see how timely this gets fixed in FSF GNAT, to see whether it is measured in hours, days, weeks, months, etc. over in FSF GNAT.