Re: Equivalent of dynamic_cast (downcast) for tagged types

[Stephen Leake <stephen_leake@stephe-leake.org>]

Maciej Sobczak <see.my.homepage@gmail.com> writes:

> On Jan 28, 6:47 pm, Robert A Duff <bobd...@shell01.TheWorld.com>
> wrote:
>
>> Sorry, but AdaCore does not take bug reports from comp.lang.ada.
>
> I knew this will pop up. :-)
>
> You see - if this happened to me, it might as well happen in the
> future to anybody else, including their Most Valuable Customer (tm)
> and that future might be next year or next week. 

This is true.

> Silently calling the wrong operation is not something that I would
> like to see in a critical system and I can imagine that the Most
> Valuable Customer (tm) can get really pissed if this happens. It is
> therefore in the best interest of AdaCore to have the fix ready
> *before* that time, so they can prove their excellent support by
> reacting instantly. Seems like a good strategy to me.

Yes. But the point is, how are they to become aware of the bug?

Think of all the places bugs might be mentioned; here, on your personal
blog, on some university student mailing list, on a Debian bug list,
etc.

AdaCore cannot possibly monitor all possible places bugs might be
mentioned.

What they can do is provide one place to report bugs to them, and make
that as easy to use as possible. That is sending an email to
report@gnat.com.

Why have you not done that?

I can think of one reason; this is not mentioned on
libre.adacore.com/libre. Searching for "report bug" there turned up a
reference to reporting bugs in GtkAda, but not for other AdaCore tools.

So I'm reporting a bug in the website, via an unrecognized channel;
chance of success?
 
> Last but not least: the only reason why I don't submit a separate
> bugzilla report for this is that I do not have the minimal
> reproducible test case. But I'm willing to provide all necessary
> information and assistance on request.

AdaCore does not take bugs from bugzilla either.

-- 
-- Stephe