From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: GNAT vs UTF-8 source file names
Date: Fri, 7 Jul 2017 14:44:17 -0500
Date: 2017-07-07T14:44:17-05:00 [thread overview]
Message-ID: <ojooah$585$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 87inj4xy8q.fsf@jacob-sparre.dk
"Jacob Sparre Andersen" <jacob@jacob-sparre.dk> wrote in message
news:87inj4xy8q.fsf@jacob-sparre.dk...
...
>> On the other hand, ARM 2.1(4/3) says "The coded representation for
>> characters is implementation defined", which seems to conflict with
>> (16) - but then, the AARM ramification (4.b/2) notes that the rule
>> doesn't have much force!
>
> That sounds like the classical wording.
>
> I suppose that the intent is that UTF-8 encoded ISO-10646 (in the right
> normalization form) _has_ to be supported, but that any other encoding
> is allowed in addition to that.
Precisely.
> It would of course be nice if that was also what the ARM actually said.
Mostly we're not changing text that doesn't have to be changed. In some
cases, it would make more sense if it was changed, but since every change
has a potential for errors and unintended consequences, its often best to
leave stuff alone. (There are many cases where a "simple" change broke
something else, leading to repeated fixes.)
Randy.
next prev parent reply other threads:[~2017-07-07 19:44 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-04-30 17:10 GNAT vs UTF-8 source file names Simon Wright
2017-06-17 17:20 ` Simon Wright
2017-06-27 13:22 ` Jacob Sparre Andersen
2017-06-27 21:45 ` Niklas Holsti
2017-06-28 5:05 ` G.B.
2017-07-04 13:57 ` Simon Wright
2017-07-04 17:30 ` Shark8
2017-07-04 18:08 ` Dennis Lee Bieber
2017-07-05 5:25 ` J-P. Rosen
2017-07-06 15:18 ` Shark8
2017-07-07 8:19 ` J-P. Rosen
2017-07-05 5:21 ` J-P. Rosen
2017-07-05 9:47 ` Simon Wright
2017-07-05 11:20 ` J-P. Rosen
2017-07-05 18:42 ` Randy Brukardt
2017-07-06 18:43 ` Simon Wright
2017-07-07 8:26 ` J-P. Rosen
2017-07-07 11:01 ` Simon Wright
2017-07-07 11:49 ` Jacob Sparre Andersen
2017-07-07 19:44 ` Randy Brukardt [this message]
2017-07-07 19:40 ` Randy Brukardt
2017-07-07 21:02 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox