fix lints and bad imports

src/Control/Abstract/Environment.hs

@@ -31,7 +31,7 @@ getEnv :: Member (Env address) effects => Evaluator address value effects (Envir
 getEnv = send GetEnv
 
 -- | Replace the environment.
-putEnv :: Member (Env address) effects => (Environment address) -> Evaluator address value effects ()
+putEnv :: Member (Env address) effects => Environment address -> Evaluator address value effects ()
 putEnv = send . PutEnv
 
 -- | Add an export to the global export state.

src/Control/Abstract/Roots.hs

@@ -7,15 +7,12 @@ module Control.Abstract.Roots
 
 import Control.Abstract.Evaluator
 import Data.Abstract.Live
-import Prologue
-
 
 -- | Value types, e.g. closures, which can root a set of addresses.
 class ValueRoots address value where
   -- | Compute the set of addresses rooted by a given value.
   valueRoots :: value -> Live address
 
-
 -- | Retrieve the local 'Live' set.
 askRoots :: Member (Reader (Live address)) effects => Evaluator address value effects (Live address)
 askRoots = ask

src/Data/Abstract/ModuleTable.hs

@@ -15,7 +15,6 @@ module Data.Abstract.ModuleTable
 
 import Data.Abstract.Module
 import qualified Data.Map as Map
-import Data.Semigroup
 import GHC.Generics (Generic1)
 import Prelude hiding (lookup)
 import Prologue

src/Data/Functor/Both.hs

@@ -8,7 +8,6 @@ module Data.Functor.Both
 
 import Data.Bifunctor.Join as X
 import Data.Functor.Classes
-import Data.Semigroup
 
 -- | A computation over both sides of a pair.
 type Both = Join (,)

src/Data/Functor/Classes/Generic.hs

@@ -13,7 +13,6 @@ module Data.Functor.Classes.Generic
 
 import Data.Functor.Classes
 import Data.List (intersperse)
-import Data.Semigroup
 import GHC.Generics
 import Text.Show (showListWith)
 

src/Data/Semigroup/App.hs

@@ -5,7 +5,6 @@ module Data.Semigroup.App
 ) where
 
 import Control.Applicative
-import Data.Semigroup
 
 -- $setup
 -- >>> import Test.QuickCheck

src/Language/Ruby/Syntax.hs

@@ -1,4 +1,4 @@
-{-# LANGUAGE DeriveAnyClass, DuplicateRecordFields #-}
+{-# LANGUAGE DeriveAnyClass, DuplicateRecordFields, TupleSections #-}
 module Language.Ruby.Syntax where
 
 import           Control.Monad (unless)
@@ -81,7 +81,7 @@ doRequire :: ( AbstractValue address value effects
 doRequire path = do
   result <- lookupModule path
   case result of
-    Nothing       -> flip (,) (boolean True) . fst <$> load path
+    Nothing       -> (, boolean True) . fst <$> load path
     Just (env, _) -> pure (env, boolean False)
 
 

src/Serializing/DOT.hs

@@ -9,7 +9,6 @@ import Algebra.Graph.Export hiding ((<+>))
 import Algebra.Graph.Export.Dot hiding (export)
 import Data.List
 import Data.String
-import Prologue
 
 -- | Serialize a graph to DOT format.
 --