From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!feeder1.feed.usenet.farm!feed.usenet.farm!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!buffer2.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 13 Aug 2020 10:55:44 -0500 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: ALI Files Cross-References Inconsistency? Date: Thu, 13 Aug 2020 11:55:45 -0400 Organization: IISS Elusive Unicorn Message-ID: References: <1ab5413e-ac60-4fb7-b3bd-930de3f0fe0do@googlegroups.com> User-Agent: ForteAgent/8.00.32.1272 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-gen+6z3rrDH46t2hbvb9j2sVF6gSdELE9N+orj+qUNTFGUGgshfOvGRsmkYlMu5nRdfismMdzckPFjl!fUEvLGvlEl4lkvGrdMqoj3V58ecz/nZiRCqGyaosaTcoGhOaLtDVjWHctd0Ic9A7IIRlO/79 X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2319 Xref: reader01.eternal-september.org comp.lang.ada:59715 List-Id: On Thu, 13 Aug 2020 08:24:45 -0700 (PDT), Leandro Ribeiro declaimed the following: > >I would expect every reference to point to the beginning of the symbol, as it is the case with "3K9*excep2". >However, all other references to the symbols from excep2.ads are exactly 4 columns ahead of the "expected point". >And all the references to the symbols from excep2.adb are exactly 12 columns ahead of the "expected point". > Is your source file using or a series of characters for indentation. Much software "counts" a as moving to the next multiple of 8 (which was the hardware spacing on things like VT-100 terminals), even though many editors may be configured to treat it as a multiple of 4 (or some other value). > >======== excep2.ads >pragma SPARK_Mode; > >package |excep2 >is >(line 5)-- procedure finds first occurence of char C before char Delim > procedure exce|p THIS line uses a series of to indent > (S : |String; THIS line has a single to indent -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com http://wlfraed.microdiversity.freeddns.org/