Overflow in Ratio

[Ian Lynagh]

On Sat, Jul 21, 2007 at 04:03:38PM +0000, David Benbennick wrote:
> 
> I submitted a complete patch at
> http://hackage.haskell.org/trac/ghc/ticket/1517, but that was
> apparently the wrong place, since the bug was closed as wontfix.

For those who haven't read the bug log, here is the closure message:

Thanks for the patch, but I see a couple of problems:

* This would give different behaviour to what the Haskell 98 report
  specifies
* This would give unexpected behaviour if the Ord or Num instance
  for your ratio type don't match those for Integer 

I don't have a good solution, I'm afraid. I think we just have to accept
that anything involving Int has these sorts of problems.

For example, you could equally say that

x > 0 => y + x > y

should hold, but it doesn't due to Int wrapping.

If you still think that this change should be made then I think that it
should go through the library submissions process:
http://www.haskell.org/haskellwiki/Library_submissions


Thanks
Ian