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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,32dcee4844599b87 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-12-20 09:44:54 PST Path: supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!iad-read.news.verio.net.POSTED!kilgallen From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: GNAT Error message Message-ID: References: <3A3D01EA.37CB440B@libertysurf.fr> <3A3F854A.4AAC16EB@averstar.com> <91ov30$s9g$1@nnrp1.deja.com> Organization: LJK Software Date: 20 Dec 2000 12:44:49 -0500 NNTP-Posting-Host: 216.44.122.34 X-Complaints-To: abuse@verio.net X-Trace: iad-read.news.verio.net 977334293 216.44.122.34 (Wed, 20 Dec 2000 17:44:53 GMT) NNTP-Posting-Date: Wed, 20 Dec 2000 17:44:53 GMT Xref: supernews.google.com comp.lang.ada:3289 Date: 2000-12-20T12:44:49-05:00 List-Id: In article <91ov30$s9g$1@nnrp1.deja.com>, Robert Dewar writes: > In article <3A3F854A.4AAC16EB@averstar.com>, > Tucker Taft wrote: >> Here is the "AdaMagic" error message, interspersed in the > listing: >> >> ... >> 13 This (Index) := Integer (Index - This'First); > -- Line 13 >> * >> *****Error: LRM:8.4(1) Binary operator "-" between Index_Type > and Index_Type >> ***** not directly visible, use clause or conversion > might be needed >> 14 end loop; >> ... >> >> Not clearly better or worse, in my view, than the GNAT error > message. > > Hmmm! would you clearly distinguish if more than one Index_Type > was in scope -- we find the location references to the > declaration very useful in GNAT. While a location reference to the declaration sounds quite helpful in general, I would suggest that it be suppressed in the case of those who have more than one Index_Type in scope, giving them some encouragement to change their ways. This is for the (admittedly low probability) chance that _I_ might have to maintain their code some day :-)