[GHC] #8695: Arithmetic overflow from (minBound :: Int) `quot` (-1)

[GHC]

#8695: Arithmetic overflow from (minBound :: Int) `quot` (-1)
------------------------------------------------+--------------------------
        Reporter:  rleslie                      |            Owner:
            Type:  bug                          |           Status:  patch
        Priority:  normal                       |        Milestone:  7.8.1
       Component:  libraries/haskell2010        |          Version:  7.6.3
      Resolution:                               |         Keywords:
Operating System:  Unknown/Multiple             |     Architecture:
 Type of failure:  Incorrect result at runtime  |  Unknown/Multiple
       Test Case:                               |       Difficulty:
        Blocking:                               |  Unknown
                                                |       Blocked By:
                                                |  Related Tickets:  #1042
------------------------------------------------+--------------------------

Comment (by rleslie):

 It seems to me there is a desire for a fixed-precision integer type that
 throws an exception on overflow rather than performing modulo arithmetic
 -- in which case, I'd be fine with the present behavior, as long as all
 other overflow conditions were treated similarly.

 But modulo arithmetic is also useful and desirable for some purposes, and
 I object to an integer type that performs modulo arithmetic in some cases,
 and throws an exception in others.

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