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