From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: gnat.string_split , howto manipulate slice numbers
Date: Tue, 29 Oct 2019 21:36:01 +0200
Date: 2019-10-29T21:36:01+02:00 [thread overview]
Message-ID: <h1ril2F8nv3U1@mid.individual.net> (raw)
In-Reply-To: <qp9r0q$imu$1@dont-email.me>
On 2019-10-29 18:56, Jeffrey R. Carter wrote:
> On 10/29/19 9:17 AM, briot.emmanuel@gmail.com wrote:
>>
>> use type GNAT.String_Split.Slice_Number;
>>
>> or
>> use GNAT.String_Split;
>
> or
>
> function "-" (Left : GNAT.String_Split.Slice_Number;
> Right : GNAT.String_Split.Slice_Number)
> return GNAT.String_Split.Slice_Number renames GNAT.String_Split."-";
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 believe the risk of such bugs was a major reason for the introduction
of "use type" in Ada.
--
Niklas Holsti
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2019-10-29 19:36 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 [this message]
2019-10-29 23:06 ` J-P. Rosen
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