[GHC] #5165: GHC doesn't optimize FP excess precision properly

[GHC]

#5165: GHC doesn't optimize FP excess precision properly
-------------------------+--------------------------------------------------
    Reporter:  ezyang    |        Owner:                             
        Type:  bug       |       Status:  new                        
    Priority:  normal    |    Milestone:                             
   Component:  Compiler  |      Version:  7.1                        
    Keywords:            |     Testcase:                             
   Blockedby:            |   Difficulty:                             
          Os:  Linux     |     Blocking:                             
Architecture:  x86       |      Failure:  Incorrect result at runtime
-------------------------+--------------------------------------------------
Changes (by malosh):

 * cc: pierreetienne.meunier@… (added)


Comment:

 Why does GHC use GMP for its Integer type, whereas integer arithmetic is
 one of the only thing relatively portable, and does not provide any kind
 of native floating-point portable type ?

 It would be really cool to be able to use GHC's register allocator on MPFR
 arithmetic, for instance.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5165#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler