[Haskell-cafe] A question about "monad laws"
dbenbenn at gmail.com
Mon Feb 11 16:35:34 EST 2008
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:
I'm doing Science and I'm still alive.
More information about the Haskell-Cafe