How to describe this bug?

Aleksey Khudyakov alexey.skladnoy at gmail.com
Fri Jul 13 17:41:59 CEST 2012


On 13.07.2012 19:27, Brandon Allbery wrote:
> On Fri, Jul 13, 2012 at 7:29 AM, Aleksey Khudyakov
> <alexey.skladnoy at gmail.com <mailto:alexey.skladnoy at gmail.com>> wrote:
>
>         Num inherits from Eq, so Float couldn't have an instance for Num
>         if we
>         didn't have that Eq instance.
>
>     No more since GHC 7.4. But Eq is indeed superclass of Ord and it Ord
>     is used a lot.
>
>
> ...but Float's Ord instance is even more dubious than its Eq.
>
What's wrong with it except for NaN? NaN surely breaks every law but 
otherwise it's OK.



More information about the Glasgow-haskell-users mailing list