#1658: CSE changes semantics
-------------------------+--------------------------------------------------
Reporter: guest | Owner: igloo
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.7
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Os: Multiple | Testcase: num014
Architecture: Multiple |
-------------------------+--------------------------------------------------
Changes (by igloo):
* resolution: => fixed
* testcase: => num014
* status: new => closed
Comment:
I've added a test to the testsuite and removed 3 rules:
{{{
This gives wrong answer (0) for NaN - NaN (should be NaN):
"minusDouble x x" forall x#. (-##) x# x# = 0.0##
This gives wrong answer (0) for 0 * NaN (should be NaN):
"timesDouble 0.0 x" forall x#. (*##) 0.0## x# = 0.0##
This gives wrong answer (0) for NaN * 0 (should be NaN):
"timesDouble x 0.0" forall x#. (*##) x# 0.0## = 0.0##
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1658>
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
