Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rn

* Users can define their own (~) type operator
* Haddock can display documentation for the built-in (~)
* New transitional warnings implemented:
    -Wtype-equality-out-of-scope
    -Wtype-equality-requires-operators

Updates the haddock submodule.

3 files changed, 5 insertions, 1 deletions

diff --git a/libraries/base/Data/String.hs b/libraries/base/Data/String.hs
index 02a720f8e9..bd5d3d0edd 100644
--- a/libraries/base/Data/String.hs
+++ b/libraries/base/Data/String.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE Trustworthy #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 -----------------------------------------------------------------------------
 -- |
diff --git a/libraries/base/Data/Type/Equality.hs b/libraries/base/Data/Type/Equality.hs
index 56cdce77f0..3b11add5f0 100644
--- a/libraries/base/Data/Type/Equality.hs
+++ b/libraries/base/Data/Type/Equality.hs
@@ -31,7 +31,9 @@
 
 module Data.Type.Equality (
   -- * The equality types
-  (:~:)(..), type (~~),
+  type (~),
+  type (~~),
+  (:~:)(..),
   (:~~:)(..),
 
   -- * Working with equality
diff --git a/libraries/base/Data/Type/Ord.hs b/libraries/base/Data/Type/Ord.hs
index 7e9ef24c84..4faf106741 100644
--- a/libraries/base/Data/Type/Ord.hs
+++ b/libraries/base/Data/Type/Ord.hs
@@ -38,6 +38,7 @@ import GHC.Show(Show(..))
 import GHC.TypeError
 import GHC.TypeLits.Internal
 import GHC.TypeNats.Internal
+import GHC.Types (type (~))
 import Data.Bool
 import Data.Char(Char)
 import Data.Eq