[Git][ghc/ghc][wip/hide-typelits-internals] Hide GHC.TypeLits/Nats.Internal in other-modules

[Oleg Grenrus (@phadej)]

Oleg Grenrus pushed to branch wip/hide-typelits-internals at Glasgow Haskell Compiler / GHC


Commits:
10ec0db7 by Oleg Grenrus at 2023-06-07T10:08:50+03:00
Hide GHC.TypeLits/Nats.Internal in other-modules

- - - - -


2 changed files:

- libraries/base/base.cabal
- testsuite/tests/ghci/scripts/T9181.stdout


Changes:

=====================================
libraries/base/base.cabal
=====================================
@@ -286,9 +286,7 @@ Library
         GHC.TopHandler
         GHC.TypeError
         GHC.TypeLits
-        GHC.TypeLits.Internal
         GHC.TypeNats
-        GHC.TypeNats.Internal
         GHC.Unicode
         GHC.Weak
         GHC.Weak.Finalize
@@ -352,6 +350,8 @@ Library
         GHC.Event.PSQ
         GHC.Event.Unique
         GHC.Foreign.Internal
+        GHC.TypeLits.Internal
+        GHC.TypeNats.Internal
         -- GHC.IOPort -- TODO: hide again after debug
         GHC.Unicode.Internal.Bits
         GHC.Unicode.Internal.Char.DerivedCoreProperties


=====================================
testsuite/tests/ghci/scripts/T9181.stdout
=====================================
@@ -115,14 +115,15 @@ type (Data.Type.Ord.<=?) :: forall k. k -> k -> Bool
 type (Data.Type.Ord.<=?) m n =
   Data.Type.Ord.OrdCond (Data.Type.Ord.Compare m n) True True False
   :: Bool
-type GHC.TypeLits.Internal.CmpChar :: Char -> Char -> Ordering
-type family GHC.TypeLits.Internal.CmpChar a b
-type GHC.TypeNats.Internal.CmpNat :: GHC.Num.Natural.Natural
-                                     -> GHC.Num.Natural.Natural -> Ordering
-type family GHC.TypeNats.Internal.CmpNat a b
-type GHC.TypeLits.Internal.CmpSymbol :: GHC.Types.Symbol
-                                        -> GHC.Types.Symbol -> Ordering
-type family GHC.TypeLits.Internal.CmpSymbol a b
+type base-4.18.0.0:GHC.TypeLits.Internal.CmpChar :: Char
+                                                    -> Char -> Ordering
+type family base-4.18.0.0:GHC.TypeLits.Internal.CmpChar a b
+type base-4.18.0.0:GHC.TypeNats.Internal.CmpNat :: GHC.Num.Natural.Natural
+                                                   -> GHC.Num.Natural.Natural -> Ordering
+type family base-4.18.0.0:GHC.TypeNats.Internal.CmpNat a b
+type base-4.18.0.0:GHC.TypeLits.Internal.CmpSymbol :: GHC.Types.Symbol
+                                                      -> GHC.Types.Symbol -> Ordering
+type family base-4.18.0.0:GHC.TypeLits.Internal.CmpSymbol a b
 type GHC.TypeNats.Div :: GHC.Num.Natural.Natural
                          -> GHC.Num.Natural.Natural -> GHC.Num.Natural.Natural
 type family GHC.TypeNats.Div a b



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/10ec0db72ef6da42f097cd20aed3a90694eef764

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/10ec0db72ef6da42f097cd20aed3a90694eef764
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230607/cb5c7b4b/attachment-0001.html>