On 20-Oct-1999, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> wrote:
> Tue, 19 Oct 1999 17:17:32 +0200, George Russell <[EMAIL PROTECTED]> pisze:
>
> > Have types all instances of TimeDiff
> > TimeDiff = TimeDiff Integer -- time in picoseconds
> > TimeDiffDays = TimeDiffDays Int -- time in days
> > TimeDiffMonths = TimeDiffMonths Int -- time in months
>
> So you can have a difference of 3 months (whatever it means),
> or 14 days, but you can't have 3 months + 14 days?
Note that 3 months + 14 days is not the same as 14 days + 3 months.
(E.g. Sept 17 + 3 months + 14 days = Dec 17 + 14 days = Dec 31,
but Sept 17 + 14 days + 3 months = Oct 1 + 3 months = Jan 1.)
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.