Vladislav Zavialov pushed to branch wip/int-index/reexport-ghc-hs-basic at Glasgow Haskell Compiler / GHC Commits: 51223e7c by Vladislav Zavialov at 2025-10-26T22:54:07+03:00 Re-export GHC.Hs.Basic from GHC.Hs Clean up some import sections in GHC by re-exporting GHC.Hs.Basic from GHC.Hs. - - - - - 26 changed files: - compiler/GHC/Hs.hs - compiler/GHC/Hs/Decls.hs - compiler/GHC/HsToCore/Foreign/Wasm.hs - compiler/GHC/HsToCore/Quote.hs - compiler/GHC/HsToCore/Utils.hs - compiler/GHC/Parser/Errors/Types.hs - compiler/GHC/Parser/PostProcess.hs - compiler/GHC/Rename/Bind.hs - compiler/GHC/Rename/Env.hs - compiler/GHC/Rename/Expr.hs - compiler/GHC/Rename/HsType.hs - compiler/GHC/Rename/Pat.hs - compiler/GHC/Rename/Utils.hs - compiler/GHC/Tc/Deriv/Generate.hs - compiler/GHC/Tc/Deriv/Generics.hs - compiler/GHC/Tc/Errors/Types.hs - compiler/GHC/Tc/Gen/App.hs - compiler/GHC/Tc/Gen/Expr.hs - compiler/GHC/Tc/Gen/Pat.hs - compiler/GHC/Tc/TyCl.hs - compiler/GHC/Tc/TyCl/Instance.hs - compiler/GHC/Tc/TyCl/Utils.hs - compiler/GHC/Tc/Types/Origin.hs - compiler/GHC/Tc/Validity.hs - compiler/GHC/ThToHs.hs - utils/check-exact/ExactPrint.hs Changes: ===================================== compiler/GHC/Hs.hs ===================================== @@ -22,6 +22,7 @@ therefore, is almost nothing but re-exporting. module GHC.Hs ( module Language.Haskell.Syntax, + module GHC.Hs.Basic, module GHC.Hs.Binds, module GHC.Hs.Decls, module GHC.Hs.Expr, @@ -33,7 +34,6 @@ module GHC.Hs ( module GHC.Hs.Doc, module GHC.Hs.Extension, module GHC.Parser.Annotation, - Fixity, HsModule(..), AnnsModule(..), HsParsedModule(..), XModulePs(..) @@ -42,6 +42,7 @@ module GHC.Hs ( -- friends: import GHC.Prelude +import GHC.Hs.Basic import GHC.Hs.Decls import GHC.Hs.Binds import GHC.Hs.Expr @@ -58,7 +59,6 @@ import GHC.Hs.Instances () -- For Data instances -- others: import GHC.Utils.Outputable -import GHC.Types.Fixity ( Fixity ) import GHC.Types.SrcLoc import GHC.Unit.Module.Warnings ===================================== compiler/GHC/Hs/Decls.hs ===================================== @@ -121,11 +121,11 @@ import GHC.Hs.Doc import GHC.Types.Basic import GHC.Core.Coercion +import GHC.Hs.Basic import GHC.Hs.Extension import GHC.Parser.Annotation import GHC.Types.Name import GHC.Types.Name.Set -import GHC.Types.Fixity -- others: import GHC.Utils.Misc (count) ===================================== compiler/GHC/HsToCore/Foreign/Wasm.hs ===================================== @@ -45,7 +45,6 @@ import GHC.Types.Var import GHC.Unit import GHC.Utils.Outputable import GHC.Utils.Panic -import Language.Haskell.Syntax.Basic data Synchronicity = Sync | Async deriving (Eq) ===================================== compiler/GHC/HsToCore/Quote.hs ===================================== @@ -79,7 +79,6 @@ import GHC.Types.ForeignCall import GHC.Types.Var import GHC.Types.Id import GHC.Types.SourceText -import GHC.Types.Fixity import GHC.Types.TyThing import GHC.Types.Name hiding( varName, tcName ) import GHC.Types.Name.Env @@ -89,8 +88,6 @@ import Data.Kind (Constraint) import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Data.ByteString ( unpack ) import Control.Monad import Data.List (sort, sortBy) ===================================== compiler/GHC/HsToCore/Utils.hs ===================================== @@ -45,8 +45,6 @@ module GHC.HsToCore.Utils ( import GHC.Prelude -import Language.Haskell.Syntax.Basic (Boxity(..)) - import {-# SOURCE #-} GHC.HsToCore.Match ( matchSimply ) import {-# SOURCE #-} GHC.HsToCore.Expr ( dsLExpr, dsSyntaxExpr ) ===================================== compiler/GHC/Parser/Errors/Types.hs ===================================== @@ -6,7 +6,6 @@ module GHC.Parser.Errors.Types where import GHC.Prelude -import GHC.Core.TyCon (Role) import GHC.Data.FastString import GHC.Hs import GHC.Parser.Types ===================================== compiler/GHC/Parser/PostProcess.hs ===================================== @@ -134,7 +134,7 @@ import GHC.Hs -- Lots of it import GHC.Core.TyCon ( TyCon, isTupleTyCon, tyConSingleDataCon_maybe ) import GHC.Core.DataCon ( DataCon, dataConTyCon, dataConName ) import GHC.Core.ConLike ( ConLike(..) ) -import GHC.Core.Coercion.Axiom ( Role, fsFromRole ) +import GHC.Core.Coercion.Axiom ( fsFromRole ) import GHC.Types.Name.Reader import GHC.Types.Name import GHC.Types.Basic @@ -170,8 +170,6 @@ import GHC.Unit.Module.Warnings import GHC.Utils.Panic import qualified GHC.Data.Strict as Strict -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad import Text.ParserCombinators.ReadP as ReadP import Data.Char ===================================== compiler/GHC/Rename/Bind.hs ===================================== @@ -77,8 +77,6 @@ import GHC.Utils.Panic import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad import Data.List ( partition ) import Data.List.NonEmpty ( NonEmpty(..) ) ===================================== compiler/GHC/Rename/Env.hs ===================================== @@ -62,8 +62,6 @@ module GHC.Rename.Env ( import GHC.Prelude -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import GHC.Iface.Load import GHC.Iface.Env import GHC.Hs ===================================== compiler/GHC/Rename/Expr.hs ===================================== @@ -75,8 +75,6 @@ import GHC.Data.Maybe import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad import qualified Data.Foldable as Partial (maximum) import Data.List (unzip4) ===================================== compiler/GHC/Rename/HsType.hs ===================================== @@ -74,16 +74,13 @@ import GHC.Types.FieldLabel import GHC.Types.Error import GHC.Utils.Misc -import GHC.Types.Fixity ( compareFixity, negateFixity - , Fixity(..), FixityDirection(..), LexicalFixity(..) ) +import GHC.Types.Fixity ( compareFixity, negateFixity ) import GHC.Types.Basic ( TypeOrKind(..) ) import GHC.Utils.Outputable import GHC.Utils.Panic import GHC.Data.Maybe import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Data.List (nubBy, partition) import Control.Monad ===================================== compiler/GHC/Rename/Pat.hs ===================================== @@ -65,7 +65,6 @@ import GHC.Rename.HsType import GHC.Builtin.Names import GHC.Types.Hint -import GHC.Types.Fixity (LexicalFixity(..)) import GHC.Types.Name import GHC.Types.Name.Set import GHC.Types.Name.Reader ===================================== compiler/GHC/Rename/Utils.hs ===================================== @@ -53,7 +53,6 @@ import GHC.Tc.Utils.Monad import GHC.Types.Name import GHC.Types.Name.Set import GHC.Types.Name.Env -import GHC.Core.DataCon import GHC.Types.SrcLoc as SrcLoc import GHC.Types.SourceFile import GHC.Types.SourceText ( SourceText(..), IntegralLit ) ===================================== compiler/GHC/Tc/Deriv/Generate.hs ===================================== @@ -91,8 +91,6 @@ import GHC.Data.Bag import GHC.Data.Maybe ( expectJust ) import GHC.Unit.Module -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Data.List ( find, partition, intersperse ) -- | A declarative description of an auxiliary binding that should be ===================================== compiler/GHC/Tc/Deriv/Generics.hs ===================================== @@ -44,7 +44,6 @@ import GHC.Iface.Env ( newGlobalBinder ) import GHC.Types.Name hiding ( varName ) import GHC.Types.Name.Reader -import GHC.Types.Fixity import GHC.Types.Basic import GHC.Types.SrcLoc import GHC.Types.Var.Env @@ -62,8 +61,6 @@ import GHC.Utils.Misc import GHC.Driver.DynFlags import GHC.Data.FastString -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad (mplus) import Data.List (zip4, partition) import Data.List.NonEmpty (NonEmpty (..), last, nonEmpty) ===================================== compiler/GHC/Tc/Errors/Types.hs ===================================== @@ -231,7 +231,7 @@ import GHC.Core.FamInstEnv (FamInst) import GHC.Core.InstEnv (LookupInstanceErrReason, ClsInst, DFunId) import GHC.Core.PatSyn (PatSyn) import GHC.Core.Predicate (EqRel, predTypeEqRel) -import GHC.Core.TyCon (TyCon, Role, FamTyConFlav, AlgTyConRhs) +import GHC.Core.TyCon (TyCon, FamTyConFlav, AlgTyConRhs) import GHC.Core.Type (Kind, Type, ThetaType, PredType, ErrorMsgType, ForAllTyFlag, ForAllTyBinder) import GHC.Driver.Backend (Backend) @@ -245,8 +245,6 @@ import GHC.Data.FastString (FastString) import GHC.Data.Pair import GHC.Exception.Type (SomeException) -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Data.List.NonEmpty (NonEmpty (..)) import qualified Data.List.NonEmpty as NE import Data.Typeable (Typeable) ===================================== compiler/GHC/Tc/Gen/App.hs ===================================== @@ -65,7 +65,6 @@ import GHC.Utils.Outputable as Outputable import GHC.Utils.Panic import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic( isBoxed ) import Control.Monad import Data.Function ===================================== compiler/GHC/Tc/Gen/Expr.hs ===================================== @@ -27,8 +27,6 @@ module GHC.Tc.Gen.Expr import GHC.Prelude -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import {-# SOURCE #-} GHC.Tc.Gen.Splice ( tcTypedSplice, tcTypedBracket, tcUntypedBracket, getUntypedSpliceBody ) ===================================== compiler/GHC/Tc/Gen/Pat.hs ===================================== @@ -59,7 +59,6 @@ import GHC.Core.DataCon import GHC.Core.PatSyn import GHC.Core.ConLike import GHC.Builtin.Names -import GHC.Types.Basic hiding (SuccessFlag(..)) import GHC.Driver.DynFlags import GHC.Types.SrcLoc import GHC.Types.Var.Set @@ -73,7 +72,6 @@ import GHC.Data.FastString import qualified Data.List.NonEmpty as NE import GHC.Data.List.SetOps ( getNth ) -import Language.Haskell.Syntax.Basic (FieldLabelString(..), LexicalFixity(..)) import Data.List( partition ) import Control.Monad.Trans.Writer.CPS ===================================== compiler/GHC/Tc/TyCl.hs ===================================== @@ -105,8 +105,6 @@ import GHC.Utils.Panic import GHC.Utils.Constants (debugIsOn) import GHC.Utils.Misc -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad import Data.Foldable ( toList, traverse_ ) import Data.Functor.Identity ===================================== compiler/GHC/Tc/TyCl/Instance.hs ===================================== @@ -72,7 +72,6 @@ import GHC.Types.Var as Var import GHC.Types.Var.Env import GHC.Types.Var.Set import GHC.Types.Basic -import GHC.Types.Fixity import GHC.Types.Id import GHC.Types.SourceFile import GHC.Types.SourceText ===================================== compiler/GHC/Tc/TyCl/Utils.hs ===================================== @@ -77,8 +77,6 @@ import GHC.Types.Unique.Set import GHC.Types.TyThing import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad {- ===================================== compiler/GHC/Tc/Types/Origin.hs ===================================== @@ -85,8 +85,6 @@ import GHC.Utils.Misc( HasDebugCallStack, nTimes ) import GHC.Types.Unique import GHC.Types.Unique.Supply -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import qualified Data.Kind as Hs import Data.List.NonEmpty (NonEmpty (..)) import Data.Maybe (isNothing) ===================================== compiler/GHC/Tc/Validity.hs ===================================== @@ -81,8 +81,6 @@ import GHC.Utils.Panic import GHC.Data.List.SetOps -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad import Data.Foldable import Data.Function ===================================== compiler/GHC/ThToHs.hs ===================================== @@ -40,7 +40,6 @@ import qualified GHC.Core.Coercion as Coercion ( Role(..) ) import GHC.Builtin.Types import GHC.Builtin.Types.Prim( fUNTyCon ) import GHC.Types.Basic as Hs -import GHC.Types.Fixity as Hs import GHC.Types.ForeignCall import GHC.Types.Unique import GHC.Types.SourceText @@ -53,8 +52,6 @@ import GHC.Data.EnumSet (EnumSet) import qualified GHC.Data.EnumSet as EnumSet import qualified GHC.LanguageExtensions as LangExt -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import qualified Data.ByteString as BS import Control.Monad( unless ) import Data.Bifunctor (first) ===================================== utils/check-exact/ExactPrint.hs ===================================== @@ -35,13 +35,11 @@ module ExactPrint import GHC import GHC.Base (NonEmpty(..)) -import GHC.Core.Coercion.Axiom (Role(..)) import qualified GHC.Data.BooleanFormula as BF import GHC.Data.FastString import qualified GHC.Data.Strict as Strict import GHC.TypeLits import GHC.Types.Basic hiding (EP) -import GHC.Types.Fixity import GHC.Types.ForeignCall import GHC.Types.Name.Reader import GHC.Types.PkgQual @@ -53,8 +51,6 @@ import GHC.Utils.Misc import GHC.Utils.Outputable hiding ( (<>) ) import GHC.Utils.Panic -import Language.Haskell.Syntax.Basic (FieldLabelString(..)) - import Control.Monad (forM, when, unless) import Control.Monad.Identity (Identity(..)) import qualified Control.Monad.Reader as Reader View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/51223e7ce07e4d25d7ac02603b275cda... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/51223e7ce07e4d25d7ac02603b275cda... You're receiving this email because of your account on gitlab.haskell.org.