Re: yes another gnat bug (inherited tagged type as record field is too much for gnat??)

[Optikos <optikos@verizon.net>]

On Monday, December 2, 2019 at 1:51:29 PM UTC-6, George Shapovalov wrote:
> On Monday, December 2, 2019 at 6:12:04 PM UTC+1, Optikos wrote:
> > 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.
> 
> That wouldn't be a fair comparison, nor a useful one.

Quit putting words in my mouth.  I never said that all AdaCore customers have this fix delivered to them today.  I effectively said that
1) we know for a (purported reported) fact that the fix hit AdaCore's internal codebase today;
2) we can eventually observe the date at which this defect's fix hits FSF GNAT to see when OP's original symptoms are no longer exhibited by FSF GNAT.
3) we can then accurately calculate the time that it empirically can take for a fix to defect to actually get released to the wild in FSF GNAT.

I did not say directly or by implication that FSF GNAT's lag is different than typical AdaCore paying customer's lag in receiving this fix.  Although now that you bring it up, that would be a fascinating side topic.

> Please note, as I said, the fix is in their *development*
> tree. Meaning that its not yet available to the vast majority of users. maybe some -pro users with a special
> subscription have access to the "nightly builds" or something like that (I don;t know how that works with
> AdaCore), but I would guess that even most -pro users would get it only with the next release, after proper
> integration and testing.