chore: address GHC warnings

GaloisInc · Jun 2, 2021 · d456663 · d456663
1 parent affee13
commit d456663
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/cryptol-remote-api/src/CryptolServer.hs b/cryptol-remote-api/src/CryptolServer.hs
@@ -29,7 +29,7 @@ import qualified Argo
 import qualified Argo.Doc as Doc
 import CryptolServer.Data.FreshName
 import CryptolServer.Exceptions
-    ( cryptolError, unknownFreshName, invalidName)
+    ( cryptolError, invalidName)
 import CryptolServer.Options
     ( WithOptions(WithOptions), Options(Options, optEvalOpts) )
 

diff --git a/cryptol-remote-api/src/CryptolServer/Data/Expression.hs b/cryptol-remote-api/src/CryptolServer/Data/Expression.hs
@@ -41,7 +41,7 @@ import Cryptol.Eval.Concrete (Value)
 import Cryptol.Eval.Type (TValue(..), tValTy)
 import Cryptol.Eval.Value (GenValue(..))
 import Cryptol.ModuleSystem
-  (ModuleEnv, ModuleCmd, getPrimMap, evalDecls, renameType, renameVar, checkExpr, focusedEnv)
+  (ModuleEnv, ModuleCmd, getPrimMap, evalDecls, renameType, checkExpr, focusedEnv)
 import Cryptol.ModuleSystem.Env (deNames,meDynEnv, mctxParams, mctxDecls, mctxNames)
 import Cryptol.ModuleSystem.Monad (runModuleM, interactive, getFocusedEnv)
 import qualified Cryptol.ModuleSystem.Base as Base

diff --git a/src/Cryptol/REPL/Command.hs b/src/Cryptol/REPL/Command.hs
@@ -1245,7 +1245,7 @@ helpCmd cmd
       M.Parameter  -> rPutStrLn "// No documentation is available."
 
 
-  showModHelp env disp x =
+  showModHelp _env disp x =
     rPrint $ runDoc disp $ vcat [ "`" <> pp x <> "` is a module." ]
     -- XXX: show doc. if any