[GHC] #16091: arith011 broken with integer-simple

GHC ghc-devs at haskell.org
Sun Dec 23 17:13:45 UTC 2018


#16091: arith011 broken with integer-simple
-------------------------------------+-------------------------------------
           Reporter:  bgamari        |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:  8.8.1
          Component:  Compiler       |           Version:  8.6.3
           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:
-------------------------------------+-------------------------------------
 The `arith011` test fails unexpected when using `integer-simple`.

 The test output is
 [[https://gitlab.haskell.org/ghc/ghc/-/jobs/4892/raw|quite long]] but here
 is the end:
 {{{
 #
 negate 0 = 0
 #
 testReal
 toRational 0 = 0 % 1
 toRational 1 = 1 % 1
 toRational 2 = 2 % 1
 toRational 3 = 3 % 1
 #
 testIntegral
 Stderr ( arith011 ):
 arith011: divide by zero
 *** unexpected failure for arith011(normal)
 }}}
 This is concerning since it suggests a behavioral difference between
 `integer-simple` and `integer-gmp`.

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


More information about the ghc-tickets mailing list