From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: gettext for Ada
Date: Wed, 29 Nov 2017 10:09:23 +0100
Date: 2017-11-29T10:09:23+01:00 [thread overview]
Message-ID: <ovltg3$1si2$1@gioia.aioe.org> (raw)
In-Reply-To: ovkom1$7th$1@franka.jacob-sparre.dk
On 28/11/2017 23:41, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:ovk4ss$b9u$1@gioia.aioe.org...
>> On 2017-11-28 01:48, Randy Brukardt wrote:
>>
>>> The above is quite common in my code (perhap premature optimation on my
>>> part, knowing that a function like To_Upper is many times more expensive
>>> than a string compare).
>>
>> I convert the source line to the preferred case as I read it in and then
>> work with that source.
>
> The is my preference, but there a lot of cases (like command line
> processing) where some parts are in mixed case (which you need to preserve)
> and other parts are case insensitive.
Yes. I keep both strings and use one or anther where appropriate, e.g.
when showing an error message, or when getting a string literal out of
the source, the original works better. (:-))
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-11-29 9:09 UTC|newest]
Thread overview: 33+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-19 20:40 gettext for Ada Victor Porton
2017-11-20 15:40 ` Shark8
2017-11-20 19:28 ` Jacob Sparre Andersen
2017-11-20 19:59 ` Shark8
2017-11-20 20:33 ` Dmitry A. Kazakov
2017-11-21 19:15 ` Jacob Sparre Andersen
2017-11-21 20:54 ` Dmitry A. Kazakov
2017-11-23 9:15 ` Jacob Sparre Andersen
2017-11-23 9:47 ` Dmitry A. Kazakov
2017-11-23 10:03 ` Jacob Sparre Andersen
2017-11-23 10:37 ` Dmitry A. Kazakov
2017-11-23 12:14 ` Jacob Sparre Andersen
2017-11-23 13:23 ` Dmitry A. Kazakov
2017-11-21 19:22 ` Jacob Sparre Andersen
2017-11-20 22:43 ` Randy Brukardt
2017-11-21 0:28 ` Shark8
2017-11-21 8:29 ` G. B.
2017-11-21 13:48 ` J-P. Rosen
2017-11-22 1:10 ` Randy Brukardt
2017-11-22 15:38 ` Shark8
2017-11-23 0:30 ` Randy Brukardt
2017-11-23 3:08 ` Shark8
2017-11-28 0:48 ` Randy Brukardt
2017-11-28 16:47 ` Simon Wright
2017-11-28 17:03 ` Dmitry A. Kazakov
2017-11-28 22:41 ` Randy Brukardt
2017-11-29 9:09 ` Dmitry A. Kazakov [this message]
2017-11-23 8:25 ` G. B.
2017-11-23 16:02 ` Shark8
2017-11-23 18:55 ` G. B.
2017-11-23 20:24 ` Shark8
2017-11-28 0:55 ` Randy Brukardt
2017-11-22 21:36 ` Blady
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox