On Sat, 1 Nov 2003 17:36:11 +0100 Stefan Karrmann <sk@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