It was a bug in the calculation of the time zone offset. It works it
out by taking the difference between UTC and local time that
applied/applies at the particular time but it failed to take account of
a change of day. Now fixed in SVN. Since for half the year UTC and
local time are the same here it hadn't shown up before. Thanks for
reporting it.
Regards,
David
Michael Norrish wrote:
On Linux:
Linux michaeln-desktop 2.6.31-22-generic #60-Ubuntu SMP Thu May 27
00:22:23 UTC 2010 i686 GNU/Linux
michaeln(~) date -R
Wed, 09 Jun 2010 09:39:11 +1000
michaeln(~) poly
Poly/ML 5.3 Release
> Date.toString (Date.fromTimeLocal (Time.now()));
val it = "Tue Jun 08 09:39:38 2010" : string
> Date.toString (Date.fromTimeUniv (Time.now()));
val it = "Tue Jun 08 23:41:21 2010" : string
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
