[commit: ghc] master: Added type family dependency to Data.Type.Bool.Not (37aeff6)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/37aeff631766eebf5820b980d614bef78960291a/ghc

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

commit 37aeff631766eebf5820b980d614bef78960291a
Author: Baldur Blöndal <baldurpet at gmail.com>
Date:   Thu Jul 14 18:09:03 2016 -0400

    Added type family dependency to Data.Type.Bool.Not
    
    Summary:
    
    Signed-off-by: Baldur Blöndal <baldurpet at gmail.com>
    
    Reviewers: goldfire, RyanGlScott, austin, bgamari, hvr
    
    Reviewed By: RyanGlScott, austin
    
    Subscribers: RyanGlScott, thomie
    
    Differential Revision: https://phabricator.haskell.org/D2268
    
    GHC Trac Issues: #12057


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

37aeff631766eebf5820b980d614bef78960291a
 libraries/base/Data/Type/Bool.hs | 11 ++++++-----
 libraries/base/changelog.md      |  2 ++
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/libraries/base/Data/Type/Bool.hs b/libraries/base/Data/Type/Bool.hs
index cfd4bfa..4309b6d 100644
--- a/libraries/base/Data/Type/Bool.hs
+++ b/libraries/base/Data/Type/Bool.hs
@@ -1,6 +1,5 @@
-{-# LANGUAGE Safe #-}
-{-# LANGUAGE TypeFamilies, TypeOperators, DataKinds, NoImplicitPrelude,
-             PolyKinds #-}
+{-# LANGUAGE TypeFamilyDependencies, Safe, PolyKinds #-}
+{-# LANGUAGE TypeFamilies, TypeOperators, DataKinds, NoImplicitPrelude #-}
 
 -----------------------------------------------------------------------------
 -- |
@@ -49,7 +48,9 @@ type family a || b where
   a      || a      = a
 infixr 2 ||
 
--- | Type-level "not"
-type family Not a where
+-- | Type-level "not". An injective type family since @4.10.0.0 at .
+--
+-- @since 4.7.0.0
+type family Not a = res | res -> a where
   Not 'False = 'True
   Not 'True  = 'False
diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md
index 5a2e90f..ecf6a82 100644
--- a/libraries/base/changelog.md
+++ b/libraries/base/changelog.md
@@ -3,6 +3,8 @@
 ## next *TBA*
   * Bundled with GHC *TBA*
 
+  * `Data.Type.Bool.Not` given a type family dependency (#12057).
+
   * `Foreign.Ptr` now exports the constructors for `IntPtr` and `WordPtr`
     (#11983)