Prev: Having a problem building with win32ada
Next: Trouble cutting loops with SPARK. Advice?
From: Ludovic Brenta on 5 Mar 2010 10:27
Dmitry A. Kazakov wrote on comp.lang.ada:
> On Fri, 5 Mar 2010 00:33:54 -0800 (PST), Ludovic Brenta wrote:
>> I was not aware of this bug; is there a PR in Bugzilla for it?
>
> As an active member of c.l.a. you should remember it discussed here several
> times in recent years.

No, I should not remember it. Remembering bugs is the job of a bug
tracking system.

> Each time I thought - well, the next version will
> certainly fix it, somebody had already reported it... (:-))

Bad news: this bug will not be fixed just because you think it will
and because you happen to remember this bug. It *might* be fixed if
you report it properly in the bug tracking system of GCC. Usenet is
not a bug tracking system. A person's head is not a bug tracking
system.

As an active member of c.l.a, you should remember the appropriate URL
but I'll give it to you once again though: http://gcc.gnu.org/bugzilla

--
Ludovic Brenta.
From: Stephen Leake on 6 Mar 2010 02:13
Ludovic Brenta <ludovic(a)ludovic-brenta.org> writes:

> Dmitry A. Kazakov wrote on comp.lang.ada:
>> On Fri, 5 Mar 2010 00:33:54 -0800 (PST), Ludovic Brenta wrote:
>>> I was not aware of this bug; is there a PR in Bugzilla for it?
>>
>> As an active member of c.l.a. you should remember it discussed here several
>> times in recent years.
>
> No, I should not remember it. Remembering bugs is the job of a bug
> tracking system.

+1.

I'm an active member of c.l.a, and I don't remember this bug.

--
-- Stephe
 | 
Pages: 1
Prev: Having a problem building with win32ada
Next: Trouble cutting loops with SPARK. Advice?