[commit: Cabal] master: Add the ConstraintKind extension (71a381f)

[Max Bolingbroke]

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

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/71a381fcc868da57c9637e20ce452b907c3ea20c

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

commit 71a381fcc868da57c9637e20ce452b907c3ea20c
Author: Max Bolingbroke <batterseapower at hotmail.com>
Date:   Tue Sep 6 09:41:45 2011 +0000

    Add the ConstraintKind extension

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

 cabal/Language/Haskell/Extension.hs |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)

diff --git a/cabal/Language/Haskell/Extension.hs b/cabal/Language/Haskell/Extension.hs
index bfc4211..832d4ba 100644
--- a/cabal/Language/Haskell/Extension.hs
+++ b/cabal/Language/Haskell/Extension.hs
@@ -454,6 +454,12 @@ data KnownExtension =
   -- trusted.
   | Trustworthy
 
+  -- | [GHC &#xa7; 7.40] Allow type class/implicit parameter/equality
+  -- constraints to be used as types with the special kind Constraint.
+  -- Also generalise the (ctxt => ty) syntax so that any type of kind
+  -- Constraint can occur before the arrow.
+  | ConstraintKind
+
   deriving (Show, Read, Eq, Enum, Bounded)
 
 {-# DEPRECATED knownExtensions