[GHC] #13124: Template Haskell: Floating point literals that cannot be represented by rationals
GHC
ghc-devs at haskell.org
Sat Jan 14 23:22:27 UTC 2017
#13124: Template Haskell: Floating point literals that cannot be represented by
rationals
-------------------------------------+-------------------------------------
Reporter: lerkok | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Template | Version: 8.0.1
Haskell |
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
Currently, TH expressions and patterns store Float/Double values as
rationals: http://hackage.haskell.org/package/template-
haskell-2.11.1.0/docs/Language-Haskell-TH-Syntax.html#t:Lit
Unfortunately, this isn't sufficient, as there is no way to properly
support usual floating point values such as NaN, Infinity, and Negative-
Zero. This is true for both expressions and patterns.
It would be nice if Double/Float literals were stored as double-floats
themselves, instead of rationals.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13124>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list