[Haskell-cafe] A question about "monad laws"

[David Benbennick]

On Feb 11, 2008 11:24 AM, Wolfgang Jeltsch <g9ks157k at acme.softbase.org> 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.