comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: gnat.string_split , howto manipulate slice numbers
Date: Wed, 30 Oct 2019 00:06:52 +0100
Date: 2019-10-30T00:06:52+01:00	[thread overview]
Message-ID: <qpagmb$tpv$1@dont-email.me> (raw)
In-Reply-To: <h1ril2F8nv3U1@mid.individual.net>

Le 29/10/2019 à 20:36, Niklas Holsti a écrit :
> Yes, but I do not recommend this "rename" method for wide use. Some
> decades ago, in an Ada 83 project which thus did not allow "use type",
> we had several bugs where copy-paste sloppiness resulted in (for
> example) some "-" operator renaming a "+" operator, with "amusing" results.
[Yet another shameless plug] AdaControl has a rule to check renamings
with different names (precisely intended for eliminate this error)

-- 
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:[~2019-10-29 23:06 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-10-29  1:54 gnat.string_split , howto manipulate slice numbers Alain De Vos
2019-10-29  8:17 ` briot.emmanuel
2019-10-29 16:56   ` Jeffrey R. Carter
2019-10-29 19:36     ` Niklas Holsti
2019-10-29 23:06       ` J-P. Rosen [this message]
2019-11-01  9:45         ` joakimds
2019-10-29 23:36   ` Stephen Leake
2019-10-29  8:35 ` Simon Wright
2019-10-29 11:08   ` Alain De Vos
2019-10-29 11:20     ` Alain De Vos
2019-10-29 16:44       ` J-P. Rosen
2019-10-29 16:47       ` Simon Wright
2019-10-29 18:33         ` J-P. Rosen
2019-10-29 19:37           ` Dmitry A. Kazakov
2019-10-30 11:30             ` Simon Wright
2019-10-31  9:30               ` joakimds
2019-10-31 10:12               ` Dmitry A. Kazakov
2019-10-31 18:36                 ` J-P. Rosen
2019-11-01  9:39                   ` joakimds
2019-10-29 16:41   ` Simon Wright
2019-10-29 16:53 ` Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox