comp.lang.ada
 help / color / mirror / Atom feed
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/

  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