From: Wilhelm Spickermann <zulo.20.unbenutzbar@spamgourmet.com>
Subject: Re: Advice on Calendar.Time
Date: Tue, 08 Nov 2005 23:09:02 +0100
Date: 2005-11-08T23:09:02+01:00 [thread overview]
Message-ID: <dkr7lv$9af$1@ulysses.news.tiscali.de> (raw)
In-Reply-To: 1131480345.878386.71750@f14g2000cwb.googlegroups.com
REH wrote:
> Butï¿œIï¿œdon'tï¿œthinkï¿œthereï¿œisï¿œanythingï¿œthatï¿œis,ï¿œorï¿œshouldï¿œbe,
> OS-dependent with dates and time-of-day, or timezones, or GMT,
> or UTC, or DST, or leap seconds, etc.ᅵᅵTheseᅵconceptsᅵareᅵwell
> definedï¿œandï¿œdo not change from platform to platform.
I agree. But as the run time system normally depends on the OS
time services it depends on the configuration of these services.
But even after having the operating system configured in a way
such that we have no DST and and no posix handling of leap
seconds, there will be at least one remaining problem:
Ada.Calendar is inherently POSIX: Day_Duration is too short for
a leap second and Time_Of called with a seconds value of
86_400.0 is forced by ARM 9.6-25 to return the same value as
Time_Of for the next day with seconds value of 0.0.
Wilhelm
next prev parent reply other threads:[~2005-11-08 22:09 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-11-08 16:04 Advice on Calendar.Time REH
2005-11-08 17:09 ` Larry Kilgallen
2005-11-08 17:30 ` REH
2005-11-08 17:59 ` Wilhelm Spickermann
2005-11-08 18:38 ` REH
2005-11-08 19:29 ` Martin Dowie
2005-11-08 20:05 ` REH
2005-11-08 22:00 ` Martin Dowie
2005-11-08 23:02 ` REH
2005-11-08 22:09 ` Wilhelm Spickermann [this message]
2005-11-08 22:13 ` REH
2005-11-09 5:23 ` Wilhelm Spickermann
2005-11-09 7:00 ` Martin Dowie
2005-11-09 3:16 ` Jeffrey R. Carter
2005-11-09 1:36 ` Keith Thompson
2005-11-13 14:15 ` Jacob Sparre Andersen
2005-11-13 21:37 ` Keith Thompson
2005-11-09 0:23 ` Stephen Leake
2005-11-09 8:32 ` Dmitry A. Kazakov
2005-11-09 19:37 ` brian.b.mcguinness
2005-11-09 21:45 ` brian.b.mcguinness
2005-12-01 0:24 ` 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