comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Ada standard and maximum line lengths
Date: Sat, 02 Feb 2013 09:12:49 -0500
Date: 2013-02-02T09:12:49-05:00	[thread overview]
Message-ID: <wccwquqhkim.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 9f1fb966-cc23-4499-b50c-571ffc0c7f01@googlegroups.com

Lucretia <laguest9000@googlemail.com> writes:

> On Friday, 1 February 2013 23:13:48 UTC, Randy Brukardt  wrote:
>
>> In any case, there is a disincentive to make any changes so long as the 
>> ACATS insists on having a line length and identifier length being the same 
>
> I thought someone (Bob Duff?) stated that:
>
> 1) some ACATS tests are wrong and people don't tell them they are
> 2) that there is no length that must be specified as a maximum (i.e. 200)
> 3) that an implementation can have unlimited values for these lengths

Yes, I said something like that (although 2 and 3 above seem
synonymous, so I'm not 100% sure what you mean).

>> and thus relatively short. And it would be hard to justify rewriting those 
>> ACATS tests (they're among the least important tests, but not so much that 
>
> But surely it's better to have tests that are correct?

I suppose so, but it's up to some implementer to dispute the tests.
In this case, the wrong test is pretty harmless.  It's not requiring
implementations to do something wrong.  It's requiring them to
do something they are allowed to do anyway.

I believe somebody has volunteered to fix the tests in question.
That's good, but it will have zero effect on any implementation.
That's because the "fix" is to weaken the tests to match the RM;
an implementation that passes the tests now will still pass the
weaker version, and will have no incentive to change.  It will
also have zero effect on any programmer -- programmers will
continue to obey whatever line/lexeme-length limitations
their compiler(s) require.  And if they want to be portable,
they will continue to avoid writing lines longer than 200
characters.

- Bob



  reply	other threads:[~2013-02-02 14:12 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
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 [this message]
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