[GHC] #9281: Rewrite `integer-gmp` to use only non-allocating GMP functions

[GHC]

#9281: Rewrite `integer-gmp` to use only non-allocating GMP functions
-------------------------------------+-------------------------------------
              Reporter:  hvr         |            Owner:  hvr
                  Type:  task        |           Status:  patch
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Core        |          Version:
  Libraries                          |         Keywords:  integer-gmp
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:  #8647
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:  Phab:D82    |
-------------------------------------+-------------------------------------

Comment (by Herbert Valerio Riedel <hvr@…>):

 In [changeset:"83c48438c800986c537d3cae682d53ee8ed326ed/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="83c48438c800986c537d3cae682d53ee8ed326ed"
 Re-implement `recipModInteger` (#9281)

 This also exposes the following two type-specialised modular
 exponentiation variants of `recipModInteger` useful for implementing a
 `recipModNatural` operation.

   recipModBigNat :: BigNat -> BigNat -> BigNat
   recipModWord   :: Word#  -> Word#  -> Word#

 `recipModInteger` has been available since `integer-gmp-0.5.1`
 (added via 4d516855241b70eb687d95e3c121428de885e83e)
 }}}

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