[commit: ghc] no-pred-ty: Add Constraint as a legitmiate tycon in Kinds (536359d)

Simon Peyton Jones simonpj at microsoft.com
Wed Sep 7 17:23:16 CEST 2011


Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : no-pred-ty

http://hackage.haskell.org/trac/ghc/changeset/536359d4434d645f1b79370c7ef83cd008cd300c

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

commit 536359d4434d645f1b79370c7ef83cd008cd300c
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Sep 7 16:23:00 2011 +0100

    Add Constraint as a legitmiate tycon in Kinds

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

 compiler/prelude/PrelNames.lhs |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/compiler/prelude/PrelNames.lhs b/compiler/prelude/PrelNames.lhs
index bd59a01..812a0ff 100644
--- a/compiler/prelude/PrelNames.lhs
+++ b/compiler/prelude/PrelNames.lhs
@@ -1591,7 +1591,8 @@ kindKeys = [ liftedTypeKindTyConKey
            , openTypeKindTyConKey
            , unliftedTypeKindTyConKey
            , ubxTupleKindTyConKey
-           , argTypeKindTyConKey ]
+           , argTypeKindTyConKey
+           , constraintKindTyConKey ]
 \end{code}
 
 





More information about the Cvs-ghc mailing list