comp.lang.ada
 help / color / mirror / Atom feed
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

  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