comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: ALI Files Cross-References Inconsistency?
Date: Sat, 15 Aug 2020 09:56:17 +0200	[thread overview]
Message-ID: <rh84f2$bvi$1@dont-email.me> (raw)
In-Reply-To: <ly7du16t18.fsf@pushface.org>

Le 14/08/2020 à 19:23, Simon Wright a écrit :
> Per Sandberg <per.s.sandberg@bahnhof.se> writes:
> 
>> Just a comment, <TAB>s in source text is a common root of confusion
>> since every editor indents <TAB>s in some way.
> 
> In GPS (GNAT Studio) the Preferences / Editor / Ada includes a 'Use
> tabulations' option that is unchecked (here, and I haven't changed it);
> so when you hit TAB in Ada the code is indented the appropriate number
> of spaces, not using tabs.
> 
> My Emacs is set up to remove any TABs that have found their way into an
> Ada file whenever it's saved. (At one point I had this set for any file
> type; not a good plan for a Makefile).
> 
AdaControl has a rule:
check characters (control);

that will indentify all tabs. This rule generate fixes, so the companion
utility adactl_fix can replace them automatically with 4 spaces.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

  reply	other threads:[~2020-08-15  7:56 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
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 [this message]
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