How to describe this bug?

Sönke Hahn shahn at cs.tu-berlin.de
Fri Jul 13 12:18:11 CEST 2012


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




More information about the Glasgow-haskell-users mailing list