On Feb 11, 2008 11:24 AM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote:
>     a < b && b < c => a < c
>
> If an Ord instances doesn't obey these laws than it's likely to make Set and
> Map behave strangely.

Some months ago I pointed out that Ratio Int (which is an Ord
instance) doesn't satisfy this property.  I provided a patch to fix
the problem, but my bug report was closed as wontfix:
http://hackage.haskell.org/trac/ghc/ticket/1517.


-- 
I'm doing Science and I'm still alive.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to