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
next prev parent 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