From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada.Calendar.Time_Zones
Date: Tue, 5 Aug 2008 11:10:58 +0200
Date: 2008-08-05T11:10:58+02:00 [thread overview]
Message-ID: <3jxnfgd6m2ff.ca8crnn387m3.dlg@40tude.net> (raw)
In-Reply-To: g77uto$47i$1@jacob-sparre.dk
On Mon, 4 Aug 2008 17:12:38 -0500, Randy Brukardt wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:1rm26vi0mz4sv.1kfhdnswhcrqa.dlg@40tude.net...
>> Does anybody know the meaning of the result returned by UTC_Time_Offset?
>
> It's as the RM says.
But how to translate what it says into concrete numbers:
UTC_Time_Offset (Ada.Calendar.Time_Of (2008, 26, 10, 2.5*60.0*60.0)); =?
OK, I am posting that to Ada comments as you suggested.
> It's pretty obvious, though, that there is no way to do this correctly
> unless the time type is based on UTC (time-zone-less) time. And because of
> compatibility concerns, the only way to do that is to completely junk
> Ada.Calendar and start over, duplicating essentially everything. You're
> probably right that we should have done that, but it would always be a tough
> sell (lots of people would say that Ada.Calendar is "good enough") -- which
> is why you need to ask this question directly to the ARG. (And get as many
> people as possible to support it, too.) I alone could never produce critical
> mass on this topic.
I don't understand this. Ada.Calendar.Time_Zones, Ada.Calendar.Arithmetic,
Ada.Calendar.Formatting are all new packages. All of them have an
inconsistent semantics, because Time_Of is necessarily inconsistent [*].
Zone offset is simply not a function of the local time. It is of the UTC
time.
--------
* without additional parameters.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-08-05 9:10 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 ` Dmitry A. Kazakov [this message]
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 ` Ada.Calendar.Time_Zones 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