diff --git a/cryptol-remote-api/src/CryptolServer.hs b/cryptol-remote-api/src/CryptolServer.hs
index 345a5f5dc..5a00e9edd 100644
--- 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
index 48fd246ed..3e46a7a7e 100644
--- 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
index 141f3bfee..72754ea7a 100644
--- 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