From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Discriminant as default initial value
Date: 1997/03/30
Date: 1997-03-30T00:00:00+00:00 [thread overview]
Message-ID: <dewar.859749200@merv> (raw)
In-Reply-To: 199703301300_MC2-1377-42B7@compuserve.com
<<Scott,
I tried both versions of your example using GNAT 3.09 for OS/2, and
found no problems. Maybe it is just the Windows version of GNAT playing up
again.
Kees de Lezenne Coulander>>
No, it works fine in the windows version too. This was a very vague report,
I paid little attention to it. If people think they have found a problem
in GNAT, it should be properly written up, formatted according to the
suggestions in gnatinfo.txt, and sent to report@gnat.com.
The trouble with vague reports is that you can't really clearly tell what
is being reported. In this case, I tried an instance of what I could best
guess was being reported, and it worked fine, but I do't really know,
since all we have is a vague claim that something did not work. In my
experience it is not worth chasing bug reports unless they are clear and
well documented -- they often turn out to be misunderstandings etc, and
even if they are real bugs, extracting the real bug can be difficult.
next prev parent reply other threads:[~1997-03-30 0:00 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-03-30 0:00 Discriminant as default initial value Kees de Lezenne Coulande
1997-03-30 0:00 ` Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
1997-04-02 0:00 Kees de Lezenne Coulande
1997-04-02 0:00 ` Robert Dewar
1997-04-07 0:00 ` Keith Thompson
1997-04-02 0:00 ` Scott Renfro
1997-04-02 0:00 ` Robert Dewar
1997-03-29 0:00 Scott Renfro
1997-03-29 0:00 ` Matthew Heaney
1997-03-30 0:00 ` Scott Renfro
1997-03-30 0:00 ` Bob Klungle
1997-03-30 0:00 ` Robert Dewar
1997-03-31 0:00 ` Bob Klungle
1997-03-31 0:00 ` Robert Dewar
1997-03-31 0:00 ` Jon S Anthony
1997-03-31 0:00 ` Robert Dewar
1997-04-02 0:00 ` Jon S Anthony
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox