Re: [Haskell-cafe] Mystery of an Eq instance

On Sep 21, 2013 9:38 AM, "Colin Adams" wrote:

On 21 September 2013 08:34, Stijn van Drongelen wrote:

...

* As mentioned, there is a total order (Ord) on floats (which is what

you should be using when checking whether two approximations are approximately equal), which implies that there is also an equivalence relation (Eq).

how do you get a total order when nan compares false with everything

including itself? Good point. It should be a partial order.