[GHC] #9714: Un-`wire` Integer type

[GHC]

#9714: Un-`wire` Integer type
-------------------------------------+-------------------------------------
              Reporter:  hvr         |            Owner:  hvr
                  Type:  task        |           Status:  new
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Compiler    |          Version:
            Resolution:              |         Keywords:  Integer
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Moderate (less
       Type of failure:              |  than a day)
  None/Unknown                       |       Blocked By:
             Test Case:              |  Related Tickets:  #9281
              Blocking:              |
Differential Revisions:  Phab:D351   |
-------------------------------------+-------------------------------------

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/9714#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler