[commit: packages/template-haskell] master: Add documentation to why Pred has become a type synonym. (9b128b3)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/template-haskell

On branch  : master
Link       : http://git.haskell.org/packages/template-haskell.git/commitdiff/9b128b3c0317283edb0759479e2e26d351b86e58

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

commit 9b128b3c0317283edb0759479e2e26d351b86e58
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Sun Feb 9 13:29:45 2014 -0500

    Add documentation to why Pred has become a type synonym.


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

9b128b3c0317283edb0759479e2e26d351b86e58
 Language/Haskell/TH/Syntax.hs |    3 +++
 1 file changed, 3 insertions(+)

diff --git a/Language/Haskell/TH/Syntax.hs b/Language/Haskell/TH/Syntax.hs
index 17bb065..589c66a 100644
--- a/Language/Haskell/TH/Syntax.hs
+++ b/Language/Haskell/TH/Syntax.hs
@@ -1346,6 +1346,9 @@ data AnnTarget = ModuleAnnotation
 
 type Cxt = [Pred]                 -- ^ @(Eq a, Ord b)@
 
+-- | Since the advent of @ConstraintKinds@, constraints are really just types.
+-- Equality constraints use the 'EqualityT' constructor. Constraints may also
+-- be tuples of other constraints.
 type Pred = Type
 
 data Strict = IsStrict | NotStrict | Unpacked