[GHC] #8364: equip GHC with an accurate internal model of floating point
#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
#8364: equip GHC with an accurate internal model of floating point ----------------------------+---------------------------------------------- Reporter: carter | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: high | Version: 7.6.3 Component: | Keywords: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Project (more than a week) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Comment (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 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8364#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8364: equip GHC with an accurate internal model of floating point -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: high | Version: 7.6.3 Component: Compiler | Keywords: Resolution: | Operating System: Unknown/Multiple Differential Revisions: | Type of failure: None/Unknown Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Project | (more than a week) | Blocked By: 9276 | Related Tickets: #9276 | -------------------------------------+------------------------------------- Changes (by carter): * related: => #9276 * blockedby: => 9276 Comment: probably should first finish conducting the ghc ieee audit before this ticket -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8364#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8364: equip GHC with an accurate internal model of floating point -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: feature | Status: new request | Milestone: 7.12.1 Priority: high | Version: 7.6.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Project (more Unknown/Multiple | than a week) Type of failure: | Blocked By: 9276 None/Unknown | Related Tickets: #9276 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by carter): * milestone: 7.10.1 => 7.12.1 Comment: still high priority, but moving to 7.12 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8364#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#8364: equip GHC with an accurate internal model of floating point -------------------------------------+------------------------------------- Reporter: carter | Owner: Type: feature request | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 9276 | Blocking: Related Tickets: #9276 | Differential Rev(s): -------------------------------------+------------------------------------- Changes (by bgamari): * priority: high => normal Comment: 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. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8364#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC