Merge branch 'develop' into ghc-9.4

obsidiansystems · Jul 11, 2023 · 107a0f3 · 107a0f3
2 parents 9c9dde9 + 9a83b0a
commit 107a0f3
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/dependent-sum-template.cabal b/dependent-sum-template.cabal
@@ -37,7 +37,7 @@ Library
   default-language:     Haskell2010
   exposed-modules:      Data.GADT.Compare.TH
                         Data.GADT.Show.TH
-  other-modules:        Data.Dependent.Sum.TH.Internal
+  other-modules:        Data.GADT.TH.Internal
                         Data.GADT.Compare.Monad
   build-depends:        base >= 3 && <5,
                         some >= 1.0.1 && < 1.1,

diff --git a/src/Data/GADT/Compare/TH.hs b/src/Data/GADT/Compare/TH.hs
@@ -14,7 +14,7 @@ module Data.GADT.Compare.TH
 
 import Control.Monad
 import Control.Monad.Writer
-import Data.Dependent.Sum.TH.Internal
+import Data.GADT.TH.Internal
 import Data.Functor.Identity
 import Data.GADT.Compare
 import Data.GADT.Compare.Monad

diff --git a/src/Data/GADT/Show/TH.hs b/src/Data/GADT/Show/TH.hs
@@ -6,7 +6,7 @@ module Data.GADT.Show.TH
 import Control.Applicative
 import Control.Monad
 import Control.Monad.Writer
-import Data.Dependent.Sum.TH.Internal
+import Data.GADT.TH.Internal
 import Data.Functor.Identity
 import Data.GADT.Show
 import Data.Traversable (for)

diff --git a/src/Data/Dependent/Sum/TH/Internal.hs → src/Data/GADT/TH/Internal.hs b/src/Data/Dependent/Sum/TH/Internal.hs → src/Data/GADT/TH/Internal.hs
@@ -8,7 +8,7 @@
 {-# LANGUAGE TypeOperators #-}
 
 -- | Shared functions for dependent-sum-template
-module Data.Dependent.Sum.TH.Internal where
+module Data.GADT.TH.Internal where
 
 import Control.Monad
 import Control.Monad.Writer