diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 13:29:45 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2014-02-09 13:29:45 -0500 |
| commit | 56f47fd3319611deab2afb5a6f32219cf8a74cf2 (patch) | |
| tree | d38b8852666a1ad4d42ef05e04e0a36b7c7ac065 /libraries | |
| parent | 0390a0244dba186ea34027fda311a0593b9f9a91 (diff) | |
| download | haskell-56f47fd3319611deab2afb5a6f32219cf8a74cf2.tar.gz | |
Add documentation to why Pred has become a type synonym.
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/template-haskell/Language/Haskell/TH/Syntax.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs index 17bb065c60..589c66a530 100644 --- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs +++ b/libraries/template-haskell/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 |