Update imports in cryptol-remote-api

GaloisInc · Dec 21, 2020 · ab9010f · ab9010f
1 parent f1c1e29
commit ab9010f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/cryptol-remote-api/src/CryptolServer.hs b/cryptol-remote-api/src/CryptolServer.hs
@@ -10,7 +10,7 @@ import Control.Monad.IO.Class
 import Control.Monad.Reader (ReaderT(ReaderT))
 import qualified Data.Aeson as JSON
 
-import Cryptol.Eval (EvalOpts)
+import Cryptol.Eval (EvalOpts(..))
 import Cryptol.ModuleSystem (ModuleCmd, ModuleEnv, ModuleInput(..))
 import Cryptol.ModuleSystem.Env
   (getLoadedModules, lmFilePath, lmFingerprint, meLoadedModules,

diff --git a/cryptol-remote-api/src/CryptolServer/EvalExpr.hs b/cryptol-remote-api/src/CryptolServer/EvalExpr.hs
@@ -5,7 +5,7 @@ import Control.Monad.IO.Class
 import Data.Aeson as JSON
 
 
-import Cryptol.ModuleSystem (checkExpr, evalExpr, getPrimMap)
+import Cryptol.ModuleSystem (checkExpr, evalExpr)
 import Cryptol.ModuleSystem.Env (meSolverConfig)
 import Cryptol.TypeCheck.Solve (defaultReplExpr)
 import Cryptol.TypeCheck.Subst (apSubst, listParamSubst)

diff --git a/cryptol-remote-api/src/CryptolServer/Options.hs b/cryptol-remote-api/src/CryptolServer/Options.hs
@@ -6,9 +6,10 @@ module CryptolServer.Options (Options(..), WithOptions(..)) where
 import Data.Aeson hiding (Options)
 import qualified Data.HashMap.Strict as HM
 
-import Cryptol.Backend.Monad (EvalOpts(..), PPOpts(..), PPFloatFormat(..), PPFloatExp(..))
+import Cryptol.Eval(EvalOpts(..))
 import Cryptol.REPL.Monad (parsePPFloatFormat)
 import Cryptol.Utils.Logger (quietLogger)
+import Cryptol.Utils.PP (PPOpts(..), PPFloatFormat(..), PPFloatExp(..))
 
 data Options = Options { optCallStacks :: Bool, optEvalOpts :: EvalOpts }