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: Wed, 4 Mar 2020 14:33:10 -0800 (PST)
Date: 2020-03-04T14:33:10-08:00	[thread overview]
Message-ID: <f94395b7-f2de-4c49-8edd-b24bfa64cc37@googlegroups.com> (raw)
In-Reply-To: <r3mqee$132$1@franka.jacob-sparre.dk>

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.

  parent reply	other threads:[~2020-03-04 22:33 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 [this message]
2020-03-05 16:11       ` Optikos
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