From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,9fbc059a74d74032
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-05-30 20:18:12 PST
From: dale <dale@cs.rmit.edu.au>
Newsgroups: comp.lang.ada
Subject: Re: Leap Seconds
Organization: rmit
References: <9elpii$30i$1@nh.pace.co.uk> <3B0ED67B.E40A4E06@averstar.com>
 <9f0ciq$itb$1@nh.pace.co.uk>
 <ev_remove_this_ans-2905012042430001@192.168.1.254>
 <9f2ue6$hcm$1@nh.pace.co.uk> <UUNHlI4GOPHY@eisner.encompasserve.org>
 <9f347i$jo1$1@nh.pace.co.uk> <wccsnhme0pd.fsf@world.std.com>
User-Agent: MT-NewsWatcher/3.0 (PPC)
Date: Thu, 31 May 2001 13:15:52 +1000
Message-ID: <dale-45F5DA.13155231052001@news.rmit.edu.au>
NNTP-Posting-Host: dale.cs.rmit.edu.au
X-Trace: 31 May 2001 13:17:11 +1100, dale.cs.rmit.edu.au
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!cyclone.bc.net!news-hog.berkeley.edu!ucberkeley!enews.sgi.com!news.xtra.co.nz!news.mel.connect.com.au!newshub1.rdc1.nsw.optushome.com.au!harbinger.cc.monash.edu.au!vrn.edu.au!mercury.its.rmit.edu.au!dale
Xref: archiver1.google.com comp.lang.ada:7908
Date: 2001-05-31T13:15:52+10:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:

> By the way, it seems to me that Ada *forbids* counting leap seconds, in
> that the upper bound of Day_Duration is 86_400.0, rather than 86_401.0.
> True?


I doubt that it says that a time can't occur twice. You could get
around it simply by returning time = 86_400 for 2 seconds, no?

Dale