#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
