[GHC] #11553: `round (± ∞ :: Double)` not infinite

GHC ghc-devs at haskell.org
Sun Feb 7 08:58:03 UTC 2016


#11553: `round (± ∞ :: Double)` not infinite
-------------------------------------+-------------------------------------
           Reporter:  hvr            |             Owner:
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:                 |           Version:
  libraries/base                     |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Incorrect result
  Unknown/Multiple                   |  at runtime
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Rounding 1/0 or 0/0 results in an arbitrary chosen `Integer` value, e.g.

 {{{
 λ:2> (round (1/0 :: Double) :: Integer)  == 2^1024
 True

 λ:3> (round (-1/0 :: Double) :: Integer)  == -(2^1024)
 True
 }}}

 I'm not sure if this is more desirable than returning a bottom value (e.g.
 by throwing some `ArithException`)

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


More information about the ghc-tickets mailing list