From: steve quinlan <steven.quinlan@lmco.com>
Subject: Re: Getting GNAT to issue ARM error messages
Date: 1999/02/16
Date: 1999-02-16T00:00:00+00:00 [thread overview]
Message-ID: <36C9C0BC.EA9C114E@lmco.com> (raw)
In-Reply-To: Pine.A41.3.96-heb-2.07.990215160136.88196A-100000@pluto.mscc.huji.ac.il
You will never change Robert's mind on this. To my mind the flaw is in
thinking that a bunch of Ada experts can determine whether in any given case
users (which users?) would find RM references useful. I don't think they can
reliably.
I had this same argument with him when I was doing a compiler trade study (we
picked GNAT anyway, but this did get counted against it). Even if we can't
change his mind, the fact that overwhelmingly users want this seems like it
should move ACT to be more responsive. But they know best what we need to
correct our errors. (;-)
Yes, their "hey, dummy, didn't you really mean to .." messages are great. I
guess I would even bend on insisting that every error message would need an
RM reference. But, at at least the ones where there is no "hey, dummy" message
-- if the compiler can't tell me how to fix the error, then it ought to tell
me which rule I violated.
I think I do remember him agreeing that the error messages should use relevant
RM terminology. If they do, then at least a text search of the RM could
potentially get you to relevant sections. But, not everyone may have a
searchable version. The HTML isn't easily searchable. There is a plain text
version which can be searched I guess.
next prev parent reply other threads:[~1999-02-16 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-08 0:00 Getting GNAT to issue ARM error messages David Peterson
1999-02-09 0:00 ` robert_dewar
1999-02-10 0:00 ` David Peterson
1999-02-10 0:00 ` Larry Kilgallen
1999-02-12 0:00 ` dewar
1999-02-12 0:00 ` Tucker Taft
1999-02-13 0:00 ` Nick Roberts
1999-02-13 0:00 ` bill
1999-02-14 0:00 ` robert_dewar
1999-02-14 0:00 ` Nick Roberts
1999-02-15 0:00 ` Jerry van Dijk
1999-02-16 0:00 ` dennison
1999-02-18 0:00 ` Alexy V Khrabrov
1999-02-15 0:00 ` dewar
1999-02-15 0:00 ` Ehud Lamm
1999-02-16 0:00 ` steve quinlan [this message]
1999-02-17 0:00 ` Jean-Pierre Rosen
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Keith Thompson
1999-02-18 0:00 ` dennison
1999-02-23 0:00 ` Chris Morgan
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` David Brown
1999-02-17 0:00 ` Steve Whalen
1999-02-17 0:00 ` Pascal Obry
1999-02-17 0:00 ` dewar
1999-02-17 0:00 ` steve quinlan
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` Simon Wright
1999-02-14 0:00 ` robert_dewar
1999-02-10 0:00 ` dewar
1999-02-10 0:00 ` Tom Moran
1999-04-20 0:00 ` Robert Dewar
1999-04-20 0:00 ` Ehud Lamm
1999-04-20 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox