[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:"0e1f0f7d1682d77c5dbb1d2b36f57037113cf7b4/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="0e1f0f7d1682d77c5dbb1d2b36f57037113cf7b4"
 Un-wire `Integer` type (re #9714)

 Integer is currently a wired-in type for integer-gmp. This requires
 replicating its inner structure in `TysWiredIn`, which makes it much
 harder to change Integer to a more complex representation (as
 e.g. needed for implementing #9281)

 This commit stops `Integer` being a wired-in type, and makes it
 known-key type instead, thereby simplifying code notably.

 Reviewed By: austin

 Differential Revision: https://phabricator.haskell.org/D351
 }}}

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