From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Subject: Re: ALI Files Cross-References Inconsistency?
Date: Thu, 13 Aug 2020 11:55:45 -0400 [thread overview]
Message-ID: <edoajft7o4copm8iemk472nj0uigt5irna@4ax.com> (raw)
In-Reply-To: 1ab5413e-ac60-4fb7-b3bd-930de3f0fe0do@googlegroups.com
On Thu, 13 Aug 2020 08:24:45 -0700 (PDT), Leandro Ribeiro
<leandrobribeiro@gmail.com> 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 <TAB> or a series of <SPACE> characters for
indentation.
Much software "counts" a <TAB> 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 <space> to indent
> (S : |String;
THIS line has a single <tab> to indent
--
Wulfraed Dennis Lee Bieber AF6VN
wlfraed@ix.netcom.com http://wlfraed.microdiversity.freeddns.org/
next prev parent reply other threads:[~2020-08-13 15:55 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-08-13 15:24 ALI Files Cross-References Inconsistency? Leandro Ribeiro
2020-08-13 15:55 ` Dennis Lee Bieber [this message]
2020-08-13 21:18 ` Simon Wright
2020-08-14 19:45 ` Dennis Lee Bieber
2020-08-13 17:17 ` Egil H H
2020-08-14 8:11 ` Leandro Ribeiro
2020-08-14 16:35 ` Per Sandberg
2020-08-14 17:23 ` Simon Wright
2020-08-15 7:56 ` J-P. Rosen
2020-08-14 19:47 ` Dennis Lee Bieber
2020-09-25 16:16 ` Stephen Leake
2020-09-25 19:35 ` Dmitry A. Kazakov
2020-09-25 22:33 ` Stephen Leake
2020-09-26 8:03 ` Dmitry A. Kazakov
2020-09-30 9:53 ` wj46633
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox