[commit: base] type-nats: Revert IsEven to the way it was. (6e46a3f)

[Iavor Diatchki]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/base

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/6e46a3fb19ccc27a2abdb983199ef13f502bac4e

>---------------------------------------------------------------

commit 6e46a3fb19ccc27a2abdb983199ef13f502bac4e
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Thu Mar 22 00:46:22 2012 -0700

    Revert IsEven to the way it was.

>---------------------------------------------------------------

 GHC/TypeLits.hs |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index cbbd015..fd5dd1a 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -174,8 +174,8 @@ instance Show (IsZero n) where
 
 data IsEven :: Nat -> * where
   IsEvenZero :: IsEven 0
-  IsEven     :: !(TNat n) -> IsEven (2 * n + 2)
-  IsOdd      :: !(TNat n) -> IsEven (2 * n + 1)
+  IsEven     :: !(TNat (n+1)) -> IsEven (2 * n + 2)
+  IsOdd      :: !(TNat n)     -> IsEven (2 * n + 1)
 
 isEven :: TNat n -> IsEven n
 isEven (TNat n) | n == 0      = unsafeCoerce IsEvenZero