From c8cf3e26a948c50fc32c143ac36f3400205b5252 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Wed, 21 Feb 2024 20:00:49 -0500
Subject: [PATCH] base: Partially freeze exports of GHC.Base
Sadly there are still a few module reexports. However, at least we have
decoupled from the exports of `GHC.Internal.Base`.
---
libraries/base/src/GHC/Base.hs | 132 ++++++++++++++++++++++++++++++++-
1 file changed, 130 insertions(+), 2 deletions(-)
diff --git a/libraries/base/src/GHC/Base.hs b/libraries/base/src/GHC/Base.hs
index 4efeee521217..586d6f9baf3b 100644
--- a/libraries/base/src/GHC/Base.hs
+++ b/libraries/base/src/GHC/Base.hs
@@ -1,3 +1,4 @@
+{-# LANGUAGE MagicHash #-}
{-# OPTIONS_HADDOCK not-home #-}
-- |
@@ -12,8 +13,135 @@
-- Basic data types and classes.
--
+-- N.B. This is a legacy module which we would at some point like to
+-- deprecate and drop from `base`. In short, everything found here is
+-- better imported from elsewhere. Until we have done so we prefer to
+-- keep the export list as specific as possible (e.g. avoiding module
+-- exports) to avoid changes in `ghc-internal` inadvertently
+-- compromising the stability of this interface.
+
module GHC.Base
- ( module GHC.Internal.Base ) where
+ ( module GHC.Types
+ , module GHC.Prim
+ , module GHC.Prim.Ext
+ , module GHC.Prim.PtrEq
+ , module GHC.Internal.Err
+ , module GHC.Internal.Maybe
-import GHC.Internal.Base
+ -- * Equality and ordering
+ , IP(..)
+ , Eq(..)
+ , Ord(..)
+ -- ** Monomorphic equality operators
+ , eqInt, neInt
+ , eqWord, neWord
+ , eqChar, neChar
+ , eqFloat, eqDouble
+ , gtInt, geInt, leInt, ltInt, compareInt, compareInt#
+ , gtWord, geWord, leWord, ltWord, compareWord, compareWord#
+
+ -- * C Strings
+ , unpackCString#, unpackAppendCString#, unpackFoldrCString#
+ , cstringLength#
+ , unpackCStringUtf8#, unpackAppendCStringUtf8#, unpackFoldrCStringUtf8#
+ , unpackNBytes#
+
+ -- * Magic combinators
+ , inline, noinline, lazy, oneShot, runRW#, DataToTag(..)
+ , WithDict(withDict)
+
+ -- * Functions over 'Bool'
+ , (&&), (||), not
+
+ -- Void
+ , Void
+ , absurd
+ , vacuous
+
+ -- * Semigroup/Monoid
+ , Semigroup(..)
+ , Monoid(..)
+ -- * Functors
+ , Functor(..)
+ , Applicative(..)
+ , (<**>)
+ , liftA
+ , liftA3
+ , join
+ , Monad(..)
+ , (=<<)
+ , when
+ , sequence
+ , mapM
+ , liftM
+ , liftM2
+ , liftM3
+ , liftM4
+ , liftM5
+ , ap
+ , Alternative(..)
+ , MonadPlus(..)
+
+ -- Lists
+ , NonEmpty(..)
+ , foldr
+ , build
+ , augment
+ , map
+ , mapFB
+ , (++)
+ , String
+ , unsafeChr
+ , ord
+ , eqString
+ , minInt, maxInt
+
+ -- * Miscellanea
+ , otherwise
+ , id
+ , assert
+ , breakpoint
+ , breakpointCond
+ , Opaque(..)
+ , const
+ , (.)
+ , flip
+ , ($)
+ , ($!)
+ , until
+ , asTypeOf
+
+ -- * IO
+ , returnIO
+ , bindIO
+ , thenIO
+ , failIO
+ , unIO
+
+ -- * Low-level integer utilities
+ , getTag
+ , quotInt
+ , remInt
+ , divInt
+ , modInt
+ , quotRemInt
+ , divModInt
+ , shift_mask
+ , shiftL#
+ , shiftRL#
+ , iShiftL#
+ , iShiftRA#
+ , iShiftRL#
+ , divInt#, divInt8#, divInt16#, divInt32#
+ , modInt#, modInt8#, modInt16#, modInt32#
+ , divModInt#, divModInt8#, divModInt16#, divModInt32#
+ ) where
+
+import GHC.Internal.Base
+import GHC.Types
+import GHC.Prim hiding (dataToTagLarge#, dataToTagSmall#)
+import GHC.Prim.Ext
+import GHC.Prim.PtrEq
+import GHC.Internal.Err
+import GHC.Internal.Maybe
--
GitLab