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