[GHC] #8364: equip GHC with an accurate internal model of floating point

[GHC]

#8364: equip GHC with an accurate internal model of floating point
----------------------------------------------+----------------------------
       Reporter:  carter                      |             Owner:
           Type:  feature request             |            Status:  new
       Priority:  high                        |         Milestone:  7.10.1
      Component:  Compiler                    |           Version:  7.6.3
       Keywords:                              |  Operating System:
   Architecture:  Unknown/Multiple            |  Unknown/Multiple
     Difficulty:  Project (more than a week)  |   Type of failure:
     Blocked By:                              |  None/Unknown
Related Tickets:                              |         Test Case:
                                              |          Blocking:
----------------------------------------------+----------------------------
 currently there really isn't a systematic / portable story for doing
 compile time reduction / evaluation for floating point numbers.

 there are some folks in the larger haskell community who are working on
 high precision soft float implementations / modelling.

 Once that work becomes available, might be worth exploring having
 something like that for doing controlled high precision evaluation of
 intermediate expressions in ghc proper.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8364>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler