#16091: arith011 broken with integer-simple -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | https://gitlab.haskell.org/ghc/ghc/merge_requests/36 -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"bbea972149882b4f5f6b0a1691488a519ba6aaf9/ghc" bbea9721/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="bbea972149882b4f5f6b0a1691488a519ba6aaf9" Division fails fast for `divMod` \w integer-simple We want to match the behaviour of `Integer` as well as `Integer`/`Natural` from `integer-gmp`, namely to have divMod x 0 = _|_ not divMod x 0 = (_|_, _|_) See #16091 for an example of where this matters. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16091#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler