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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,5f6322415d6639e0
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!cyclone1.gnilink.net!gnilink.net!nx02.iad01.newshosting.com!newshosting.com!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 27 Apr 2009 22:17:23 +0200
From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Reply-To: rm.tsoh+bauhaus@maps.futureapps.de
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Will the defect with formal package parameters be fixed in GNAT
  GPL 2009?
References: <558b7171-809b-4259-8679-4b4cff9de519@b6g2000pre.googlegroups.com>
 	<9d86256d-a0f3-4c43-82f9-98bb4641be69@s38g2000prg.googlegroups.com>
 <54839eeb-fe35-49eb-9c67-41a81879f8fd@n7g2000prc.googlegroups.com>
In-Reply-To: 
 <54839eeb-fe35-49eb-9c67-41a81879f8fd@n7g2000prc.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <49f612d4$0$31338$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 27 Apr 2009 22:17:24 CEST
NNTP-Posting-Host: d62b5820.newsspool4.arcor-online.net
X-Trace: 
 DXC=Ij0lK2lFe97=FQB?mjjV504IUK<Cl32<14Fo<]lROoR1^YC2XCjHcb9K7?6[R[SQ55A:ho7QcPOV3aPS1U\=f5C;UU?Ikm54g6=
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:5568
Date: 2009-04-27T22:17:24+02:00
List-Id: <comp.lang.ada>

Eric Hughes wrote:
> On Apr 27, 9:05 am, Vadim Godunko <vgodu...@gmail.com> wrote:
>> The answer depends from another question: did you report this bug to
>> AdaCore?
> 
> If you can show me where on the site http://libre.adacore.com/ there's
> a place to report anything, I'd be pleased to see it. Insofar as I can
> tell, AdaCore has no interest in engaging GPL users in any kind of
> quality process.

When AdaCore staff made frequent appearences in public fora,
their interest in GNAT usage was quite visible. A stated
policy was to look at every bug report.

The channels might have changed, the web site and GPL edition doc
files might indeed be consistent with the No Support policy of
AdaCore's GNAT GPL edition and do not announce a reporting address.
However, the policy to look at every bug report that comes
in is, I guess, still true.
(Of the rare opportinities I had of reporting a bug report like
for a Bug Box (hopefully well dressed as hinted at by Gautier de
Montmollin in another posting) the majority got answers which
seemed to indicate that fixing was underway...)

I'd think that given the way the Lorenz code story is being
staged, they might indeed be interested in supporting a
promising project.

If memory serves, SofCheck once announced some interest
in open source uses of their error detection tool.
Don't know whether this could apply to their Ada frontend
as well, let alone whether or not there is capacity for
small scale support of alleged open source editions.