[GHC] #4385: Type-level natural numbers

[GHC]

#4385: Type-level natural numbers
----------------------------------------+-----------------------------------
    Reporter:  diatchki                 |       Owner:  diatchki        
        Type:  feature request          |      Status:  new             
    Priority:  normal                   |   Milestone:  7.6.1           
   Component:  Compiler (Type checker)  |     Version:                  
    Keywords:                           |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple         |     Failure:  None/Unknown    
  Difficulty:                           |    Testcase:                  
   Blockedby:                           |    Blocking:                  
     Related:                           |  
----------------------------------------+-----------------------------------

Comment(by dmcclean):

 I notice this is in the 7.6.1 RC without a constraint solver.
 Is there a plan to implement the constraint solver for 7.6.1?
 If not, it might make sense to delay implementing this at all until the
 solver can be implemented, to retain more flexibility for making any
 changes that might be informed by the solver work.

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