[GHC] #10691: certain operations in new integer-gmp are too lazy

25 Jul 2015

      #10691: certain operations in new integer-gmp are too lazy
-------------------------------------+-------------------------------------
              Reporter:  rwbarton    |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  libraries   |           Version:  7.10.1
  (other)                            |
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  Incorrect result
  Unknown/Multiple                   |  at runtime
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 This came up in #ghc the other day.
 {{{
 rwbarton@morphism:~$ ghci-7.10.1
 GHCi, version 7.10.1: http://www.haskell.org/ghc/  :? for help
 Prelude> undefined * 0
 0
 }}}
 For consistency not just with Int, but also other integer-*
 implementations, this should be undefined.

 Also affected is for example `andInteger`.

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