[commit: base] master: Make Sing kind-polymorphic (babbe78)

[Simon Peyton Jones]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/babbe787302fdcfacc688f16dda921931c4752be

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

commit babbe787302fdcfacc688f16dda921931c4752be
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Jun 7 14:08:53 2012 +0100

    Make Sing kind-polymorphic

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

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

diff --git a/GHC/TypeLits.hs b/GHC/TypeLits.hs
index 93a3b81..6aa0aa7 100644
--- a/GHC/TypeLits.hs
+++ b/GHC/TypeLits.hs
@@ -59,7 +59,7 @@ data Symbol
 
 
 --------------------------------------------------------------------------------
-data family Sing n
+data family Sing (n :: k)
 
 newtype instance Sing (n :: Nat)    = SNat Integer