From: Optikos <ZUERCHER_Andreas@outlook.com>
Subject: Re: Ada.Calendar.Formatting.Image (or Time_Of) changing the time
Date: Thu, 5 Mar 2020 08:11:09 -0800 (PST)
Date: 2020-03-05T08:11:09-08:00 [thread overview]
Message-ID: <0b441902-3a20-4cd9-99cd-d0ed71aace81@googlegroups.com> (raw)
In-Reply-To: <f94395b7-f2de-4c49-8edd-b24bfa64cc37@googlegroups.com>
On Wednesday, March 4, 2020 at 4:33:12 PM UTC-6, Optikos wrote:
> On Tuesday, March 3, 2020 at 5:49:35 PM UTC-6, Randy Brukardt wrote:
> > "Simon Wright" wrote in message
> > news:lyv9nl8p6w.fsf@pushface.org...
> > ...
> > > There was a conversation on Ada-Comment in June last year, in which it
> > > turned out that compiler implementers may have have been misinterpreting
> > > the ARM. It was quite confusing.
> >
> > Not just a conversation, but also a Binding Interpretation AI (which
> > therefore applies to Ada 2012 compilers), AI12-0336-1.
>
> Shouldn't these Binding AIs that take effect from a past edition of the ISO standard onward (and not
> merely incorporated into Ada 2020 or Ada 202X post-2020) ••be an ISO/IEC corrigendum••? Allowing
> errata be permanently published semi-officially in any forum other than cummulatively in an official
> ISO/IEC corrigendum seems to be against the ISO/IEC rules.
I shouldn't have used the term “errata” there because it is a term-of-art for nontechnical grammatical/spelling errors and the minor like. I should have utilized ‘technical defect’ or some such term instead, because technical defects go in a corrigendum whereas purely-linguistic errors go in errata. The ambiguity of UTC vis a vis offsets therefrom in past editions of the ISO/IEC Ada standard are a defect in the meaning, not a mere linguistic-/syntactic-oops erratum.
https://blog.ansi.org/2016/09/standards-changes-amendment-corrigendum-errata
next prev parent reply other threads:[~2020-03-05 16:11 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-03-02 18:49 Ada.Calendar.Formatting.Image (or Time_Of) changing the time Marius Amado-Alves
2020-03-02 23:08 ` Randy Brukardt
2020-03-03 12:59 ` Marius Amado-Alves
2020-03-03 14:25 ` Dmitry A. Kazakov
2020-03-03 14:53 ` Simon Wright
2020-03-03 17:40 ` Simon Wright
2020-03-03 23:49 ` Randy Brukardt
2020-03-04 15:19 ` Simon Wright
2020-03-04 22:33 ` Optikos
2020-03-05 16:11 ` Optikos [this message]
2020-03-05 23:29 ` Randy Brukardt
2020-03-06 14:42 ` Optikos
2020-03-07 0:19 ` Randy Brukardt
2020-03-07 1:18 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox