#1658: CSE changes semantics
-------------------------+--------------------------------------------------
    Reporter:  guest     |        Owner:         
        Type:  bug       |       Status:  new    
    Priority:  normal    |    Milestone:         
   Component:  Compiler  |      Version:  6.7    
    Severity:  normal    |   Resolution:         
    Keywords:            |   Difficulty:  Unknown
          Os:  Multiple  |     Testcase:         
Architecture:  Multiple  |  
-------------------------+--------------------------------------------------
Comment (by [EMAIL PROTECTED]):

 Right: GHC.Base contains the rule:

 {{{"x# -# x#" forall x#. x# -# x# = 0#}}}

 but (NaN - NaN) is NaN, not 0. That's why the bug only gets triggered when
 CSE is on: otherwise, the code isn't of the form (x - x).
 -Tim

-- 
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

Reply via email to