Division fails fast for `divMod` \w integer-simple (!36) · Merge requests · Glasgow Haskell Compiler / GHC

Alec Theriault requested to merge harpocrates/ghc:T16091 into master Dec 24, 2018

We want Natural 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 (closed) for an example of where this matters.

Edited Dec 24, 2018 by Alec Theriault

Division fails fast for `divMod` \w integer-simple