From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Ada standard and maximum line lengths
Date: Tue, 29 Jan 2013 07:15:45 +0100
Date: 2013-01-29T07:15:45+01:00 [thread overview]
Message-ID: <ke7peh$tof$1@dont-email.me> (raw)
In-Reply-To: <amo8u2Fh3ngU1@mid.individual.net>
Le 28/01/2013 22:29, Niklas Holsti a �crit :
> In the same post in which Jeffrey quoted ARM 2.2(14), it seemed he was
> reading it to mean that there is a coupling. I was asking how he deduced
> that coupling. I'm asking the same question as you (J-P.), but from the
> other side of the burden of proof.
>
> So, can you show the ARM verse that says that a compiler is not allowed
> to limit identifiers to 200 characters, if it supports lines of 10,000
> characters?
I don't have much to add to Randy's response. Yes, you can read the RM
this way, and no it's not the way it has been interpreted either by the
ACATS or implementers.
Since I see no benefit in having them different, I think a fix in the RM
is the best thing to do.
--
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
next prev parent reply other threads:[~2013-01-29 6:15 UTC|newest]
Thread overview: 64+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-28 5:02 Ada standard and maximum line lengths Lucretia
2013-01-28 6:01 ` J-P. Rosen
2013-01-28 6:28 ` Jeffrey Carter
2013-01-28 8:05 ` Niklas Holsti
2013-01-28 16:42 ` Jeffrey Carter
2013-01-28 20:22 ` Niklas Holsti
2013-01-28 20:46 ` J-P. Rosen
2013-01-28 21:29 ` Niklas Holsti
2013-01-29 1:42 ` Randy Brukardt
2013-01-29 6:15 ` J-P. Rosen [this message]
2013-01-29 10:25 ` Niklas Holsti
2013-01-29 11:31 ` Georg Bauhaus
2013-01-29 12:11 ` Simon Wright
2013-01-29 12:31 ` Niklas Holsti
2013-01-29 12:37 ` Niklas Holsti
2013-01-29 15:29 ` Georg Bauhaus
2013-01-29 16:58 ` Niklas Holsti
2013-01-29 17:51 ` Georg Bauhaus
2013-01-29 18:18 ` Shark8
2013-01-29 19:54 ` Niklas Holsti
2013-01-29 23:12 ` Georg Bauhaus
2013-01-30 9:18 ` Niklas Holsti
2013-01-30 9:51 ` Simon Wright
2013-01-30 15:28 ` Robert A Duff
2013-01-30 23:24 ` Randy Brukardt
2013-01-31 2:16 ` Robert A Duff
2013-01-31 9:10 ` Stefan.Lucks
2013-01-31 9:30 ` Niklas Holsti
2013-01-31 9:51 ` Simon Wright
2013-01-31 10:56 ` Georg Bauhaus
2013-01-31 18:02 ` Jeffrey Carter
2013-01-31 23:54 ` Randy Brukardt
2013-02-01 9:15 ` Niklas Holsti
2013-02-01 23:13 ` Randy Brukardt
2013-02-02 1:24 ` Lucretia
2013-02-02 14:12 ` Robert A Duff
2013-02-05 2:09 ` Randy Brukardt
2013-01-31 9:03 ` Dmitry A. Kazakov
2013-01-30 9:37 ` Simon Wright
2013-01-30 12:02 ` Georg Bauhaus
2013-01-29 23:47 ` Jeffrey Carter
2013-01-30 7:24 ` Niklas Holsti
2013-01-30 10:09 ` J-P. Rosen
2013-01-29 20:36 ` Niklas Holsti
2013-01-29 21:01 ` Robert A Duff
2013-01-29 21:14 ` Dmitry A. Kazakov
2013-01-28 8:18 ` Dmitry A. Kazakov
2013-01-28 10:02 ` Maciej Sobczak
2013-01-28 11:57 ` Georg Bauhaus
2013-01-28 13:28 ` Niklas Holsti
2013-01-28 15:14 ` J-P. Rosen
2013-01-28 16:13 ` Dmitry A. Kazakov
2013-01-28 15:13 ` Dmitry A. Kazakov
2013-01-28 13:49 ` Robert A Duff
2013-01-29 2:09 ` Randy Brukardt
2013-01-29 18:46 ` Lucretia
2013-01-29 20:53 ` Robert A Duff
2013-01-29 21:22 ` Dmitry A. Kazakov
2013-01-30 3:22 ` Lucretia
2013-01-30 9:49 ` Dmitry A. Kazakov
2013-01-30 23:28 ` Randy Brukardt
2013-02-01 1:48 ` Shark8
2013-01-29 21:29 ` Dmitry A. Kazakov
2013-01-29 21:53 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox