Fix warnings about redundant imports.

src/Cryptol/Eval/Reference.lhs

@@ -23,7 +23,6 @@
 > import Data.Ord (comparing)
 > import Data.Map (Map)
 > import qualified Data.Map as Map
-> import Data.Semigroup (Semigroup(..))
 > import qualified Data.Text as T (pack)
 >
 > import Cryptol.ModuleSystem.Name (asPrim)

src/Cryptol/Eval/SBV.hs

@@ -47,8 +47,6 @@ import Cryptol.Utils.Ident
 import Cryptol.Utils.Panic (panic)
 import Cryptol.Utils.PP
 
-import Control.Monad.Trans  (liftIO)
-
 data SBV = SBV
 
 -- Utility operations -------------------------------------------------------------

src/Cryptol/IR/FreeVars.hs

@@ -9,7 +9,6 @@ import           Data.Set ( Set )
 import qualified Data.Set as Set
 import           Data.Map ( Map )
 import qualified Data.Map as Map
-import           Data.Semigroup (Semigroup(..))
 
 import Cryptol.TypeCheck.AST
 

src/Cryptol/ModuleSystem/Exports.hs

@@ -4,7 +4,6 @@ module Cryptol.ModuleSystem.Exports where
 import Data.Set(Set)
 import qualified Data.Set as Set
 import Data.Foldable(fold)
-import Data.Semigroup (Semigroup(..))
 import Control.DeepSeq(NFData)
 import GHC.Generics (Generic)
 

src/Cryptol/ModuleSystem/Fingerprint.hs

@@ -15,7 +15,6 @@ module Cryptol.ModuleSystem.Fingerprint
 import Control.DeepSeq          (NFData (rnf))
 import Crypto.Hash.SHA1         (hash)
 import Data.ByteString          (ByteString)
-import System.IO.Error          (IOError)
 import Control.Exception        (try)
 import qualified Data.ByteString as B
 

src/Cryptol/ModuleSystem/InstantiateModule.hs

@@ -12,7 +12,6 @@ import           MonadLib(ReaderT,runReaderT,ask)
 
 import Cryptol.Parser.Position(Located(..))
 import Cryptol.ModuleSystem.Name
-import Cryptol.ModuleSystem.Exports(ExportSpec(..))
 import Cryptol.TypeCheck.AST
 import Cryptol.TypeCheck.Subst(listParamSubst, apSubst)
 import Cryptol.Utils.Ident(ModName,modParamIdent)

src/Cryptol/TypeCheck/CheckModuleInstance.hs

@@ -6,7 +6,7 @@ import           Control.Monad(unless)
 
 import Cryptol.Parser.Position(Located(..))
 import qualified Cryptol.Parser.AST as P
-import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc)
+import Cryptol.ModuleSystem.Name (nameIdent, nameLoc)
 import Cryptol.ModuleSystem.InstantiateModule(instantiateModule)
 import Cryptol.TypeCheck.AST
 import Cryptol.TypeCheck.Monad

src/Cryptol/TypeCheck/InferTypes.hs

@@ -28,7 +28,6 @@ import           Cryptol.TypeCheck.SimpType(tMax)
 import           Cryptol.Utils.Ident (ModName, identText)
 import           Cryptol.Utils.Panic(panic)
 import           Cryptol.Utils.Misc(anyJust)
-import           Cryptol.Utils.Patterns(matchMaybe)
 
 import           Data.Set ( Set )
 import qualified Data.Set as Set

src/Cryptol/TypeCheck/Solve.hs

@@ -34,7 +34,6 @@ import           Cryptol.TypeCheck.Solver.Selector(tryHasGoal)
 import           Cryptol.TypeCheck.Solver.SMT(Solver,proveImp,isNumeric)
 import           Cryptol.TypeCheck.Solver.Improve(improveProp,improveProps)
 import           Cryptol.TypeCheck.Solver.Numeric.Interval
-import           Cryptol.Utils.PP (text,vcat,(<+>))
 import           Cryptol.Utils.Patterns(matchMaybe)
 
 import           Control.Applicative ((<|>))