#1517: Ratio Int is not well ordered
-----------------------------------+----------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: libraries/base | Version: 6.6.1
Severity: normal | Resolution: wontfix
Keywords: | Difficulty: Moderate (1 day)
Os: Multiple | Testcase:
Architecture: Multiple |
-----------------------------------+----------------------------------------
Changes (by igloo):
* resolution: => wontfix
* status: new => closed
Comment:
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
(runhaskell and runghc find ghc on the path, so the reason they were
giving the old answers is that they were using your old GHC, not the one
you'd fixed. If any change is made, though, then it would also need ).
Thanks
Ian
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1517>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
