[GHC] #8019: Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)

[GHC]

#8019: Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)
-----------------------------------+----------------------------------------
    Reporter:  guest               |        Owner:                           
        Type:  bug                 |       Status:  closed                   
    Priority:  normal              |    Component:  libraries/base           
     Version:  7.6.3               |   Resolution:  duplicate                
    Keywords:  TypeNats, addition  |           Os:  Unknown/Multiple         
Architecture:  Unknown/Multiple    |      Failure:  GHC rejects valid program
   Blockedby:                      |     Blocking:                           
     Related:                      |  
-----------------------------------+----------------------------------------
Changes (by guest):

  * status:  new => closed
  * resolution:  => duplicate


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