From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Help parsing the language manual on Get'ing integers from Strings
Date: Mon, 21 Dec 2020 19:19:44 -0600 [thread overview]
Message-ID: <rrrhjh$a5c$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: e9ed12c5-9254-4d44-823e-a2f3f8da16aan@googlegroups.com
"John Perry" <john.perry@usm.edu> wrote in message
news:e9ed12c5-9254-4d44-823e-a2f3f8da16aan@googlegroups.com...
> AdaCore replies:
>
>> Thanks for your report. We believe the intent of the RM is that
> arbitrary lookahead/backtracking should not be required, so GNAT raises
> an exception when it encounters something wrong (like a base > 16). We
> believe no Ada compilers are in strict conformance to the rules in this
> area, and ARG has agreed not to test this area strictly. Perhaps
> RM-A.10.8(8) should be clarified/corrected.
For what it's worth, we once tried to do that, but couldn't come to an
agreement on precisely what to change the wording to. As a change is not
critical, we didn't make one. The ACATS has long had tests in this area that
require something subtly different than the wording requires, and it didn't
make any sense to change them (since presumably all implementers are passing
them, rather than strictly following the RM wording).
In any case, the ":" replacement trips up people from time-to-time, as
pretty much no one remembers it. I recall we had to change some piece of new
syntax because the possibility of a colon in a number made it ambiguous.
Randy.
prev parent reply other threads:[~2020-12-22 1:19 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-21 0:11 Help parsing the language manual on Get'ing integers from Strings John Perry
2020-12-21 7:44 ` Niklas Holsti
2020-12-21 9:33 ` AdaMagica
2020-12-21 7:57 ` Dmitry A. Kazakov
2020-12-21 8:06 ` Niklas Holsti
2020-12-21 9:40 ` Jeffrey R. Carter
2020-12-22 1:11 ` Randy Brukardt
2020-12-21 8:16 ` Dmitry A. Kazakov
2020-12-21 11:30 ` John Perry
2020-12-21 23:25 ` John Perry
2020-12-22 1:19 ` Randy Brukardt [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox