From: joakimds@kth.se
Subject: Re: gnat.string_split , howto manipulate slice numbers
Date: Fri, 1 Nov 2019 02:45:51 -0700 (PDT)
Date: 2019-11-01T02:45:51-07:00 [thread overview]
Message-ID: <f003db44-3aa6-43fe-8ec9-846be2f75033@googlegroups.com> (raw)
In-Reply-To: <qpagmb$tpv$1@dont-email.me>
> 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.
I haven't run into bugs associated with this myself but I did realize things could go wrong when using renamings and guessed the motivation for introducing "use type" in Ada95. Thanks for sharing you experiences Niklas.
> [Yet another shameless plug] AdaControl has a rule to check renamings
> with different names (precisely intended for eliminate this error)
Good to know J-P. Rosen, thanks.
Best regards,
Joakim
next prev parent reply other threads:[~2019-11-01 9:45 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
2019-11-01 9:45 ` joakimds [this message]
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