GitLab

e9da33b9

by Ben Gamari at 2025-04-24T13:48:24-04:00

Move Data ModuleName instance to Language.Haskell.Syntax.Module.Name

Fixes #25968.

@@ -96,7 +96,7 @@ import GHC.Utils.Misc
  import GHC.Settings.Config (cProjectUnitId)
  import Control.DeepSeq (NFData(..))
 -import Data.Data
 +import Data.Data (Data(..))
  import Data.List (sortBy)
  import Data.Function
  import Data.Bifunctor
@@ -117,12 +117,6 @@ data GenModule unit = Module
+    }
     deriving (Eq,Ord,Data,Functor)
 -instance Data ModuleName where
 -  -- don't traverse?
 -  toConstr _   = abstractConstr "ModuleName"
 -  gunfold _ _  = error "gunfold"
 -  dataTypeOf _ = mkNoRepType "ModuleName"
+-
  -- | A Module is a pair of a 'Unit' and a 'ModuleName'.
  type Module = GenModule Unit

@@ -3,6 +3,7 @@ module Language.Haskell.Syntax.Module.Name where
  import Prelude
  import Data.Char (isAlphaNum)
 +import Data.Data
  import Control.DeepSeq
  import qualified Text.ParserCombinators.ReadP as Parse
  import System.FilePath
@@ -12,6 +13,15 @@ import GHC.Data.FastString
  -- | A ModuleName is essentially a simple string, e.g. @Data.List@.
  newtype ModuleName = ModuleName FastString deriving (Show, Eq)
 +instance Data ModuleName where
 +  -- don't traverse?
 +  toConstr _   = constr
 +    where
 +      constr = mkConstr datatype "{abstract:ModuleName}" [] Prefix
 +      datatype = mkDataType "ModuleName" [constr]
 +  gunfold _ _  = error "gunfold"
 +  dataTypeOf _ = mkNoRepType "ModuleName"
++
  instance Ord ModuleName where
    nm1 `compare` nm2 = stableModuleNameCmp nm1 nm2