comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada.Calendar.Time_Zones
Date: Wed, 13 Aug 2008 19:20:32 -0500
Date: 2008-08-13T19:20:32-05:00	[thread overview]
Message-ID: <g7vtr1$add$1@jacob-sparre.dk> (raw)
In-Reply-To: 18iqoye18iuzu$.jz3bz3dssmhe.dlg@40tude.net

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:18iqoye18iuzu$.jz3bz3dssmhe.dlg@40tude.net...
...
> But in any case, RM should clarify what it means under political time. 
> I.e.
> whether T1 = T2 (= truly political time), or not (= hidden UTC time).

We purposely did not answer that question, because compilers do not agree 
and the only way to get any agreement at all was to leave it unsatisfied. 
Most of the compilers do the former (Janus/Ada certainly does), but there 
was a vocal minority that wanted the latter be supported.

You should add this question to the Ada-Comment thread (with an appropriate 
example), so we can have that fight all over again. It's important that you 
have shown that it may have semantic effects (we were convinced it did not, 
so we decided not to answer the question).

                                     Randy.





      reply	other threads:[~2008-08-14  0:20 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-08-04  9:31 Ada.Calendar.Time_Zones Dmitry A. Kazakov
2008-08-04 13:56 ` Ada.Calendar.Time_Zones google1
2008-08-04 14:57   ` Ada.Calendar.Time_Zones Dmitry A. Kazakov
2008-08-04 20:56     ` Ada.Calendar.Time_Zones Maciej Sobczak
2008-08-04 22:12 ` Ada.Calendar.Time_Zones Randy Brukardt
2008-08-05  9:10   ` Ada.Calendar.Time_Zones Dmitry A. Kazakov
2008-08-07  2:52     ` Ada.Calendar.Time_Zones Randy Brukardt
2008-08-07  8:27       ` Ada.Calendar.Time_Zones Dmitry A. Kazakov
2008-08-07 22:47         ` Ada.Calendar.Time_Zones Randy Brukardt
2008-08-08  8:48           ` Ada.Calendar.Time_Zones Dmitry A. Kazakov
2008-08-09  2:09             ` Ada.Calendar.Time_Zones Randy Brukardt
2008-08-09  8:04               ` Ada.Calendar.Time_Zones Dmitry A. Kazakov
2008-08-14  0:20                 ` 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