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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,67ca96c42837a9ca X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Getting GNAT to issue ARM error messages Date: 1999/02/12 Message-ID: <36C47579.3D0CAFCB@averstar.com>#1/1 X-Deja-AN: 443707653 Content-Transfer-Encoding: 7bit Sender: news@inmet.camb.inmet.com (USENET news) X-Nntp-Posting-Host: houdini.burl.averstar.com References: <79oj1f$e8p$1@nnrp1.dejanews.com> <1999Feb10.073547.1@eisner> <7a1a9i$2kq$1@nnrp1.dejanews.com> Content-Type: text/plain; charset=us-ascii Organization: AverStar (formerly Intermetrics) Burlington, MA USA Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-02-12T00:00:00+00:00 List-Id: 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