Clean up warnings and remove unused files.

7 files changed, 8 insertions, 67 deletions

diff --git a/src/Language/Fiddle/Ast/FileInterface.hs b/src/Language/Fiddle/Ast/FileInterface.hs
deleted file mode 100644
index c1cfac8..0000000
--- a/src/Language/Fiddle/Ast/FileInterface.hs
+++ /dev/null
@@ -1,38 +0,0 @@
-module Language.Fiddle.Ast.FileInterface where
-
--- Definitions for file interfaces. These interfaces contain an abstract
--- representation of the symbols and information exported by a fiddle file.
--- These interfaces are also serializable, and when compiling a fiddle file, all
--- the import statements should supply an fdi (fiddle interface) file to speed
--- up subsequent compilations.
-
-import Data.Text
-import Data.Word
-
-data ObjectType = ObjectType
-  { objectTypeSize :: Word32
-  }
-
-data Metatype
-  = Object
-      { objectLocation :: Word64,
-        objectType :: Text
-      }
-  | Type
-      { typeSizeBytes :: Word32
-      }
-
-data Element a = Element
-  { elementFullyQualifiedSymbol :: Text,
-    elementDocumentation :: Maybe Text,
-    elementMetatype :: Metatype,
-    elementAnnotation :: a
-  }
-
-data ResolvedImport a = ResolvedImport {
-  dependencies :: [String]
-}
-
-data FileInterface a = FiddleInterface
-  { exportedElements :: [Element a]
-  }
diff --git a/src/Language/Fiddle/Ast/Internal/Generic.hs b/src/Language/Fiddle/Ast/Internal/Generic.hs
deleted file mode 100644
index cb075cc..0000000
--- a/src/Language/Fiddle/Ast/Internal/Generic.hs
+++ /dev/null
@@ -1,5 +0,0 @@
-{-# LANGUAGE TypeOperators #-}
-module Language.Fiddle.Ast.Internal.Generic where
-
-import GHC.Generics
-import GHC.TypeError as TypeError
diff --git a/src/Language/Fiddle/Ast/Internal/Instances.hs b/src/Language/Fiddle/Ast/Internal/Instances.hs
index 3380ccd..232d5c0 100644
--- a/src/Language/Fiddle/Ast/Internal/Instances.hs
+++ b/src/Language/Fiddle/Ast/Internal/Instances.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE FunctionalDependencies #-}
-
 module Language.Fiddle.Ast.Internal.Instances
   ( module X,
     Alter (..),
@@ -7,18 +5,14 @@ module Language.Fiddle.Ast.Internal.Instances
     CompilationStage (..),
     Annotated (..),
     GAnnot (..),
-    TreeType (..),
+    TreeType,
   )
 where
 
 import Data.Functor.Identity
 import Data.Kind
-import Data.Type.Bool
-import Data.Type.Equality
 import Data.Typeable
 import GHC.Generics
-import GHC.TypeError as TypeError
-import GHC.TypeLits
 import Language.Fiddle.Ast.Internal.Instances.Walk as X
 import Language.Fiddle.Ast.Internal.Kinds
 import Language.Fiddle.Ast.Internal.Stage
@@ -312,7 +306,7 @@ instance
   (Traversable f1, Alter u) =>
   GAlter t f1 f2 a1 a2 (Rec0 (f1 (u f1 a1))) (Rec0 (f2 (u f2 a2)))
   where
-  galter proxy ffn fn k1 = do
+  galter _ ffn fn k1 = do
     newK <- mapM (alter ffn fn) (unK1 k1)
     K1 <$> ffn newK
 
@@ -419,7 +413,7 @@ instance
   ) =>
   GAdvanceStage stage s m (Rec0 (t' stage f a)) (Rec0 (t' stage' f a))
   where
-  gAdvanceStage pxy st (K1 val) = K1 <$> advanceStage st val
+  gAdvanceStage _ st (K1 val) = K1 <$> advanceStage st val
 
 -- | 'GAdvanceStage' instance for record fields ('Rec0') containing a functor
 --   ('func') of AST elements ('t'). This handles cases where the field is a
@@ -438,7 +432,7 @@ instance
   ) =>
   GAdvanceStage stage s m (Rec0 (func (t' stage f a))) (Rec0 (func (t' stage' f a)))
   where
-  gAdvanceStage pxy st (K1 val) = K1 <$> mapM (advanceStage st) val
+  gAdvanceStage _ st (K1 val) = K1 <$> mapM (advanceStage st) val
 
 -- | 'GAdvanceStage' instance for record fields ('Rec0') containing a
 --   functor ('f') wrapping an AST element. This handles cases where the field
@@ -456,14 +450,14 @@ instance
   ) =>
   GAdvanceStage stage s m (Rec0 (f (t' stage f a))) (Rec0 (f (t' stage' f a)))
   where
-  gAdvanceStage pxy st (K1 val) = K1 <$> mapM (advanceStage st) val
+  gAdvanceStage _ st (K1 val) = K1 <$> mapM (advanceStage st) val
 
 -- | 'GAdvanceStage' instance for simple record fields ('Rec0') that do not
 --   need to change between stages. This is used for fields that are not AST
 --   nodes and remain the same when advancing the stage (e.g., primitive
 --   types like 'Int', 'Bool', etc.).
 instance (Monad m) => GAdvanceStage stage s m (Rec0 a) (Rec0 a) where
-  gAdvanceStage pxy _ (K1 val) = return (K1 val)
+  gAdvanceStage _ _ (K1 val) = return (K1 val)
 
 -- | 'GAdvanceStage' instance for records which can be converted to eathother
 -- for the current stage..
diff --git a/src/Language/Fiddle/Ast/Internal/Instances/Walk.hs b/src/Language/Fiddle/Ast/Internal/Instances/Walk.hs
index 6feaff3..d80963d 100644
--- a/src/Language/Fiddle/Ast/Internal/Instances/Walk.hs
+++ b/src/Language/Fiddle/Ast/Internal/Instances/Walk.hs
@@ -1,6 +1,5 @@
 module Language.Fiddle.Ast.Internal.Instances.Walk (Walk (..), GWalk (..)) where
 
-import Data.Foldable (foldlM)
 import Data.Typeable
 import GHC.Generics
 
diff --git a/src/Language/Fiddle/Ast/Internal/Stage.hs b/src/Language/Fiddle/Ast/Internal/Stage.hs
index f175fc4..985dfae 100644
--- a/src/Language/Fiddle/Ast/Internal/Stage.hs
+++ b/src/Language/Fiddle/Ast/Internal/Stage.hs
@@ -6,10 +6,8 @@
 
 module Language.Fiddle.Ast.Internal.Stage where
 
-import Data.Type.Bool
 import Data.Type.Equality
 import Data.Typeable
-import qualified GHC.TypeError as TypeError
 import GHC.TypeLits
 
 -- | Represents the different stages of the compilation process.
diff --git a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
index 6aa0793..8e3cd6c 100644
--- a/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
+++ b/src/Language/Fiddle/Ast/Internal/SyntaxTree.hs
@@ -55,25 +55,19 @@ module Language.Fiddle.Ast.Internal.SyntaxTree
 where
 
 import Control.Monad (forM_)
-import Data.Coerce
 import Data.Functor.Identity
 import Data.Kind (Type)
 import Data.List.NonEmpty hiding (map)
-import Data.Proxy
 import Data.Text (Text)
-import Data.Traversable
+import qualified Data.Text as Text
 import Data.Type.Bool
-import Data.Type.Equality
 import Data.Typeable
-import Data.Void (Void, absurd)
+import Data.Void (Void)
 import GHC.Generics
-import GHC.TypeLits
-import Language.Fiddle.Ast.Internal.Generic
 import Language.Fiddle.Ast.Internal.Instances
 import Language.Fiddle.Ast.Internal.Kinds
 import Language.Fiddle.Ast.Internal.Stage
 import Language.Fiddle.Internal.UnitInterface (UnitInterface)
-import qualified Data.Text as Text
 
 -- | Common data for each qualified element.
 newtype CommonQualifcationData
diff --git a/src/Language/Fiddle/Ast/Internal/SyntaxTreeKinds.hs b/src/Language/Fiddle/Ast/Internal/SyntaxTreeKinds.hs
deleted file mode 100644
index bfdfb13..0000000
--- a/src/Language/Fiddle/Ast/Internal/SyntaxTreeKinds.hs
+++ /dev/null
@@ -1 +0,0 @@
-module Language.Fiddle.Ast.Internal.SyntaxTreeKinds where