[GHC] #10774: Use `Natural` rather than `Integer` in `GHC.TypeLits`

GHC ghc-devs at haskell.org
Sat Sep 19 18:53:07 UTC 2015


#10774: Use `Natural` rather than `Integer` in `GHC.TypeLits`
-------------------------------------+-------------------------------------
        Reporter:  hvr               |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  libraries/base    |                 Version:  7.10.2
      Resolution:                    |                Keywords:  TypeLits
                                     |  Natural
Operating System:  Unknown/Multiple  |            Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:                    |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by goldfire):

 * milestone:  8.0.1 =>


Comment:

 Just went to fix this. But it has to wait until we won't use GHCs < 7.10
 for bootstrapping. (I //could// make it all work without waiting, but it
 would be ugly. Far better to wait.)

 (There is no milestone 8.2. Or would it be 8.4?)

 We could also just change the interfaces while still storing `Integer`s
 internally. But that would have performance implications.

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


More information about the ghc-tickets mailing list