[Haskell-cafe] Re: exceptions vs. Either
MR K P SCHUPKE
k.schupke at imperial.ac.uk
Fri Aug 6 09:08:59 EDT 2004
>class HLe n n'
>instance HLe HZero HZero
>instance HLe x y => HLe (HSucc x) (HSucc y)
Erm of course this was the definition for Equals, not less than or
class HLe n n'
instance HLe HZero x
instance HLe x y => HLe (HSucc x) (HSucc y)
Is the definition for less than or equals... but it took me all of
5 seconds to realise the first definition I gave was wrong - because
it is so simple...
More information about the Haskell-Cafe