Remove unused imports.

Author: Patrick Thomson

semantic.cabal

@@ -340,6 +340,7 @@ test-suite test
   import:              haskell, dependencies, executable-flags
   type:                exitcode-stdio-1.0
   hs-source-dirs:      test
+  ghc-options:         -Wunused-imports
   main-is:             Spec.hs
   other-modules:       Analysis.Go.Spec
                      , Analysis.PHP.Spec

test/Analysis/Go/Spec.hs

@@ -1,10 +1,8 @@
 {-# OPTIONS_GHC -O0 #-}
 module Analysis.Go.Spec (spec) where
 
-import Data.Abstract.Evaluatable (EvalError(..))
 import qualified Data.Abstract.ModuleTable as ModuleTable
 import qualified Data.Language as Language
-import qualified Language.Go.Assignment as Go
 import SpecHelpers
 
 

test/Analysis/PHP/Spec.hs

@@ -1,12 +1,9 @@
 {-# OPTIONS_GHC -O0 #-}
 module Analysis.PHP.Spec (spec) where
 
-import           Control.Abstract
-import           Data.Abstract.Evaluatable (EvalError (..))
 import qualified Data.Abstract.ModuleTable as ModuleTable
 import qualified Data.Abstract.Value.Concrete as Value
 import qualified Data.Language as Language
-import qualified Language.PHP.Assignment as PHP
 import           SpecHelpers
 
 

test/Analysis/Python/Spec.hs

@@ -1,9 +1,7 @@
 module Analysis.Python.Spec (spec) where
 
-import Data.Abstract.Evaluatable (EvalError(..))
 import qualified Data.Abstract.ModuleTable as ModuleTable
 import Data.Abstract.Value.Concrete
-import qualified Language.Python.Assignment as Python
 import qualified Data.Language as Language
 
 import SpecHelpers

test/Analysis/Ruby/Spec.hs

@@ -2,14 +2,13 @@
 {-# LANGUAGE TupleSections #-}
 module Analysis.Ruby.Spec (spec) where
 
-import           Control.Abstract (Declaration (..), ScopeError (..), runDeref)
+import           Control.Abstract (Declaration (..), ScopeError (..))
 import           Control.Effect.Resumable (SomeError (..))
 import           Data.Abstract.Evaluatable
 import qualified Data.Abstract.ModuleTable as ModuleTable
 import           Data.Abstract.Number as Number
 import           Data.Abstract.Value.Concrete as Value
 import qualified Data.Language as Language
-import           Data.List.NonEmpty (NonEmpty (..))
 import           Data.Sum
 
 import SpecHelpers

test/Analysis/TypeScript/Spec.hs

@@ -5,20 +5,15 @@ module Analysis.TypeScript.Spec (spec) where
 import           Data.Syntax.Statement (StatementBlock(..))
 import qualified Data.Abstract.ScopeGraph as ScopeGraph (AccessControl(..))
 import           Control.Abstract.ScopeGraph hiding (AccessControl(..))
-import           Control.Abstract.Value as Value hiding (String, Unit)
-import           Control.Arrow ((&&&))
 import           Data.Abstract.Evaluatable
 import qualified Data.Abstract.Heap as Heap
 import           Data.Abstract.Module (ModuleInfo (..))
 import qualified Data.Abstract.ModuleTable as ModuleTable
 import           Data.Abstract.Number as Number
 import           Data.Abstract.Package (PackageInfo (..))
-import qualified Data.Abstract.ScopeGraph as ScopeGraph
 import           Data.Abstract.Value.Concrete as Concrete
 import qualified Data.Language as Language
-import qualified Data.List.NonEmpty as NonEmpty
 import           Data.Location
-import qualified Data.Map.Internal as Map
 import           Data.Quieterm
 import           Data.Scientific (scientific)
 import           Data.Sum

test/Reprinting/Spec.hs

@@ -5,23 +5,17 @@ module Reprinting.Spec where
 import SpecHelpers hiding (inject, project)
 
 import           Data.Foldable
-import           Data.Functor.Foldable (cata, embed)
 import qualified Data.Machine as Machine
 
 import           Control.Rewriting hiding (context)
-import           Data.Algebra
-import           Data.Blob
 import qualified Data.Language as Language
 import           Data.Reprinting.Scope
 import           Data.Reprinting.Token
 import           Data.Sum
 import qualified Data.Syntax.Literal as Literal
 import           Language.JSON.PrettyPrint
-import           Language.Python.PrettyPrint
-import           Language.Ruby.PrettyPrint
 import           Reprinting.Pipeline
 import           Reprinting.Tokenize
-import           Semantic.IO
 
 increaseNumbers :: (Literal.Float :< fs, Apply Functor fs) => Rule (Term (Sum fs) History)
 increaseNumbers = do

test/Rewriting/Go/Spec.hs

@@ -3,10 +3,8 @@
 module Rewriting.Go.Spec (spec) where
 
 import           Control.Rewriting
-import           Data.Abstract.Module
 import           Data.List
 import           Data.Sum
-import qualified Data.Syntax.Declaration as Decl
 import qualified Data.Syntax.Literal as Lit
 import qualified Data.Syntax.Statement as Stmt
 import           Data.Text (Text)

test/Rewriting/JSON/Spec.hs

@@ -1,21 +1,18 @@
-{-# LANGUAGE TypeOperators, TypeFamilies #-}
+{-# LANGUAGE TypeFamilies, TypeOperators #-}
 
 module Rewriting.JSON.Spec (spec) where
 
-import           Prelude hiding (id, (.))
-
+import Prelude hiding (id, (.))
 import SpecHelpers
 
-import qualified Data.ByteString as B
-import           Data.Either
-import           Data.Text (Text)
-
 import           Control.Category
 import           Control.Rewriting as Rewriting
+import qualified Data.ByteString as B
 import           Data.History as History
 import qualified Data.Source as Source
 import           Data.Sum
 import qualified Data.Syntax.Literal as Literal
+import           Data.Text (Text)
 import           Language.JSON.PrettyPrint
 import           Reprinting.Pipeline
 
@@ -48,7 +45,7 @@ spec = describe "rewriting" $ do
 
   refactored <- runIO $ do
     json <- parseFile jsonParser path
-    let result = rewrite @Maybe (History.mark Unmodified json) (topDownAny onTrees) 
+    let result = rewrite @Maybe (History.mark Unmodified json) (topDownAny onTrees)
     maybe (fail "rewrite failed") pure result
 
   it "should add keys to JSON values" $ do

test/Rewriting/Python/Spec.hs

@@ -4,13 +4,9 @@ module Rewriting.Python.Spec (spec) where
 
 import           Control.Arrow
 import           Control.Rewriting
-import           Data.Abstract.Module
-import           Data.List
 import           Data.Sum
 import qualified Data.Syntax.Declaration as Decl
 import qualified Data.Syntax.Literal as Lit
-import qualified Data.Syntax.Statement as Stmt
-import           Data.Text (Text)
 import           SpecHelpers
 
 -- This gets the Text contents of all integers