diff options
| author | Baldur Blöndal <baldurpet@gmail.com> | 2016-07-14 18:09:03 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-07-14 18:16:05 -0400 |
| commit | 37aeff631766eebf5820b980d614bef78960291a (patch) | |
| tree | 052f3c40478aa0ab3dfc5fc2a94b762a030a9400 | |
| parent | cd0750ec96fba9b1683b25954092439c0f267fd7 (diff) | |
| download | haskell-37aeff631766eebf5820b980d614bef78960291a.tar.gz | |
Added type family dependency to Data.Type.Bool.Not
Summary:
Signed-off-by: Baldur Blöndal <baldurpet@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
| -rw-r--r-- | libraries/base/Data/Type/Bool.hs | 11 | ||||
| -rw-r--r-- | 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 cfd4bfada6..4309b6d0e3 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@. +-- +-- @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 5a2e90fed2..ecf6a82df6 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) |