On 07/13/2012 03:12 AM, Bardur Arantsson wrote: > Speaking of which... would it be remiss of me to mention the elephant in > the room, namely the Eq instance for Float? > > AFAICT there is no possible way for a Float value to fulfill the Eq type > class requirements, so why is it an instance? (I'm thinking of the > "weird" Nan/Infinity behvaior primarily). Is there *really* such a huge > amount of code out there that relies on an Eq (or Ord for that matter!) > instance for Float? If so... shouldn't that code be fixed rather than > being subtly buggy?
Num inherits from Eq, so Float couldn't have an instance for Num if we didn't have that Eq instance. BTW: My newsgroup client seems to have eaten my last mail. I filed a bug report here: http://hackage.haskell.org/trac/ghc/ticket/7069 Cheers, Sönke _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
