Re: Y2K related changes

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Mon Sep 06 1999 - 19:52:21 MET DST


Date: Mon, 6 Sep 1999 19:52:21 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Friedman Roy <roy@cs.technion.ac.il>, caml-list@inria.fr
Subject: Re: Y2K related changes
In-Reply-To: <Pine.GSO.3.95-heb-2.07.990901182225.1666E-100000@csa.cs.technion.ac.il>; from Friedman Roy on Wed, Sep 01, 1999 at 06:23:22PM +0300

> Were there any Y2K related changes in Ocaml from version 1.05 to 2.02?

No year 2000 changes. As far as we know, all versions of OCaml are
Y2K-safe.

However, OCaml 1 has a year 2004 problem in the Unix library: the type
"int" was used to represent a number of seconds since the Unix epoch,
and since Caml integers are signed, 31 bit (on 32-bit platforms), this
causes a roll-over in Jan 2004.

To work around this problem, OCaml 2 uses the type "float" to
represent Unix time. This ensures correct time values till the year
570843811, and progressive degradation of the accuracy of time values
afterwards :-)

- Xavier Leroy



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET