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