Remove unneeded qualifyModName

ucsd-progsys · Jan 27, 2025 · 954ccea · 954ccea
1 parent e8663a0
commit 954ccea
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Types.hs
@@ -74,7 +74,7 @@ module Language.Haskell.Liquid.Types.Types (
   -- * Modules and Imports
   , ModName (..), ModType (..)
   , isSrcImport, isSpecImport, isTarget
-  , getModName, getModString, qualifyModName
+  , getModName, getModString
 
   -- * Refinement Type Aliases
   , RTEnv (..), BareRTEnv, SpecRTEnv, BareRTAlias, SpecRTAlias
@@ -558,11 +558,6 @@ getModName (ModName _ m) = m
 getModString :: ModName -> String
 getModString = moduleNameString . getModName
 
-qualifyModName :: ModName -> Symbol -> Symbol
-qualifyModName n = qualifySymbol nSym
-  where
-    nSym         = F.symbol n
-
 --------------------------------------------------------------------------------
 -- | Refinement Type Aliases ---------------------------------------------------
 --------------------------------------------------------------------------------