Opened 6 years ago

Last modified 4 years ago

#8364 new feature request

equip GHC with an accurate internal model of floating point

Reported by: carter Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.6.3
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: #9276 Blocking:
Related Tickets: #9276 Differential Rev(s):
Wiki Page:


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.

Change History (6)

comment:1 Changed 6 years ago by carter

That said, fixing the current numerical type class story in Base is probably needed before we can have any good story for this in ghc... I think

comment:2 Changed 6 years ago by carter

Blocked By: 9276 added

probably should first finish conducting the ghc ieee audit before this ticket

comment:3 Changed 5 years ago by carter


still high priority, but moving to 7.12

comment:4 Changed 4 years ago by thoughtpolice


Milestone renamed

comment:5 Changed 4 years ago by bgamari

Priority: highnormal

It seems like this is bound to be a fairly long-term project and isn't critical for proper compilation. Bumping down to normal priority.

comment:6 Changed 4 years ago by thomie

Milestone: 8.0.1
Note: See TracTickets for help on using tickets.