From: John Perry <john.perry@usm.edu>
Subject: Re: Help parsing the language manual on Get'ing integers from Strings
Date: Mon, 21 Dec 2020 15:25:23 -0800 (PST) [thread overview]
Message-ID: <e9ed12c5-9254-4d44-823e-a2f3f8da16aan@googlegroups.com> (raw)
In-Reply-To: <064ea324-7f68-4405-a733-3e37e51b9950n@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.
> The rule about colons is hidden away in RM-J.2(3). But this isn't
specific to colons -- you'd get the same behavior if you used "#"
instead.
Sure enough, the string "29# " leads to a data error. If I read this right, the problem is that the compiler sees it as base 29, which Niklas Holsti had hinted at, but I didn't quite follow the implications.
So, not a bug!
john perry
next prev parent reply other threads:[~2020-12-21 23:25 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 [this message]
2020-12-22 1:19 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox