#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