From: Tucker Taft <stt@averstar.com>
Subject: Re: Getting GNAT to issue ARM error messages
Date: 1999/02/12
Date: 1999-02-12T00:00:00+00:00 [thread overview]
Message-ID: <36C47579.3D0CAFCB@averstar.com> (raw)
In-Reply-To: 7a1a9i$2kq$1@nnrp1.dejanews.com
dewar@gnat.com wrote:
>
> That is why my suggestion is to consider individual
> examples where an RM reference would be helpful, rather
> than discussing the point as a general abstract issue.
For what it is worth, we took an opposite view with AdaMagic, namely
that we try to provide a starting point in the RM for every
error message we give (though sometimes we give up).
This of course may relate to the fact that we are closely
affiliated with the primary authors of the RM ;-).
I think it also serves to help the user learn their
way around the RM, which is admittedly heavy going.
But in any case, vive la difference! Competition is
a great way to have various approaches available out there.
Certainly GNAT has many excellent error messages, and certainly
we have many RM references. Personally, I wish we had
the best of both ;-), and I suspect all compilers are in fact
converging on better error messages, and judicious use of RM
references. Specific user suggestions are always welcome (though
instant response is not always possible, unfortunately ;-).
> Robert Dewar
> Ada Core Technologies
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
next prev parent reply other threads:[~1999-02-12 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 [this message]
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 ` dewar
1999-02-15 0:00 ` Ehud Lamm
1999-02-16 0:00 ` steve quinlan
1999-02-17 0:00 ` Pascal Obry
1999-02-17 0:00 ` Steve Whalen
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 ` robert_dewar
1999-02-18 0:00 ` David Brown
1999-02-18 0:00 ` dennison
1999-02-23 0:00 ` Chris Morgan
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-15 0:00 ` Jerry van Dijk
1999-02-16 0:00 ` dennison
1999-02-18 0:00 ` Alexy V Khrabrov
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