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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,f428ff2031155951
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news1.google.com!news1.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post01.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Equivalent of dynamic_cast (downcast) for tagged types
References: <375fb596-ab12-4cb0-a190-53d62b94b2e4@e9g2000vbi.googlegroups.com>
 	<evoxe8yl0jfw.guw86vvdhuzb.dlg@40tude.net>
 	<510d779c-d15b-4fc1-b831-bfc578ecdb4b@z3g2000prz.googlegroups.com>
 	<0dec16be-da2b-4b9e-afb8-285e8e6d8acb@g19g2000yqi.googlegroups.com>
 	<wccfwscex8a.fsf@shell01.TheWorld.com>
 	<4155ecd0-182c-428c-94bc-2371ff6ce46f@l22g2000pre.googlegroups.com>
Date: Sun, 30 Jan 2011 15:22:03 -0500
Message-ID: <82hbcqw39w.fsf@stephe-leake.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (windows-nt)
Cancel-Lock: sha1:yBDeyN1W5oFb18NlLKF1DUctRBs=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: 15fb44d45c874e9cdf0b017457
Xref: g2news1.google.com comp.lang.ada:16804
Date: 2011-01-30T15:22:03-05:00
List-Id: <comp.lang.ada>

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