time since the epoch

[Juanma Barranquero]

On Sat, 1 Nov 2003 17:36:11 +0100
Stefan Karrmann <sk at mathematik.uni-ulm.de> wrote:

> a while ago time calculation was subject on this list.
> Now, I have a time library based on the TAI (international
> atomic time) time scale.

I get the following error with GHCi:

------------------------------------------------------------

Compiling Main             ( Tai.lhs, interpreted )

Tai.lhs:450:
    Couldn't match `LeapSeconds' against `TAI'
        Expected type: LeapSeconds
        Inferred type: TAI
    In the first argument of `cFromTai', namely `taileap1'
    In the first argument of `cSecond', namely
        `(cFromTai taileap1 lst)'

Tai.lhs:453:
    Couldn't match `LeapSeconds' against `TAI'
        Expected type: LeapSeconds
        Inferred type: TAI
    In the first argument of `cFromTai', namely `taileap2'
    In the first argument of `cSecond', namely
        `(cFromTai taileap2 lst)'

Tai.lhs:472:
    Couldn't match `LeapSeconds' against `TAI'
        Expected type: LeapSeconds
        Inferred type: TAI
    In the first argument of `cFromTai', namely `taileap1'
    In the first argument of `cSecond', namely
        `(cFromTai taileap1 lst)'

Tai.lhs:475:
    Couldn't match `LeapSeconds' against `TAI'
        Expected type: LeapSeconds
        Inferred type: TAI
    In the first argument of `cFromTai', namely `taileap2'
    In the first argument of `cSecond', namely
        `(cFromTai taileap2 lst)'
Failed, modules loaded: none.

------------------------------------------------------------

Also, wouldn't make sense to add:

cConvert :: (Calendar a, Calendar b) => a -> b
cConvert = cFromTai . cToTai

Or it is already there and I've missed it?

                                                                Juanma