Add documentation to why Pred has become a type synonym.
authorRichard Eisenberg <eir@cis.upenn.edu>
Sun, 9 Feb 2014 18:29:45 +0000 (13:29 -0500)
committerRichard Eisenberg <eir@cis.upenn.edu>
Sun, 9 Feb 2014 18:29:45 +0000 (13:29 -0500)
Language/Haskell/TH/Syntax.hs

index 17bb065..589c66a 100644 (file)
@@ -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