Move Semantic.Eval to Analysis.Eval.

semantic-core/semantic-core.cabal

@@ -19,6 +19,7 @@ tested-with:         GHC == 8.6.4
 
 library
   exposed-modules:     Analysis.Concrete
+                     , Analysis.Eval
                      , Analysis.FlowInsensitive
                      , Analysis.ImportGraph
                      , Analysis.ScopeGraph
@@ -28,7 +29,6 @@ library
                      , Data.Loc
                      , Data.Stack
                      , Semantic.Core
-                     , Semantic.Eval
                      , Semantic.Name
   -- other-modules:
   -- other-extensions:

semantic-core/src/Analysis/Concrete.hs

@@ -11,6 +11,7 @@ module Analysis.Concrete
 
 import qualified Algebra.Graph as G
 import qualified Algebra.Graph.Export.Dot as G
+import           Analysis.Eval
 import           Control.Applicative (Alternative (..))
 import           Control.Effect
 import           Control.Effect.Fail
@@ -28,7 +29,6 @@ import qualified Data.Map as Map
 import           Data.Monoid (Alt(..))
 import           Prelude hiding (fail)
 import qualified Semantic.Core as Core
-import           Semantic.Eval
 import           Semantic.Name
 
 type Precise = Int

semantic-core/src/Analysis/Eval.hs

@@ -1,5 +1,5 @@
 {-# LANGUAGE FlexibleContexts, GeneralizedNewtypeDeriving, LambdaCase, RankNTypes, RecordWildCards #-}
-module Semantic.Eval
+module Analysis.Eval
 ( eval
 , prog1
 , prog2

semantic-core/src/Analysis/ImportGraph.hs

@@ -5,6 +5,7 @@ module Analysis.ImportGraph
 , importGraphAnalysis
 ) where
 
+import           Analysis.Eval
 import           Analysis.FlowInsensitive
 import           Control.Applicative (Alternative(..))
 import           Control.Effect
@@ -21,7 +22,6 @@ import qualified Data.Map as Map
 import qualified Data.Set as Set
 import           Prelude hiding (fail)
 import qualified Semantic.Core as Core
-import           Semantic.Eval
 import           Semantic.Name
 
 type ImportGraph = Map.Map FilePath (Set.Set FilePath)

semantic-core/src/Analysis/Typecheck.hs

@@ -10,6 +10,7 @@ module Analysis.Typecheck
 , typecheckingAnalysis
 ) where
 
+import           Analysis.Eval
 import           Analysis.FlowInsensitive
 import           Control.Applicative (Alternative (..))
 import           Control.Effect
@@ -30,7 +31,6 @@ import qualified Data.Map as Map
 import qualified Data.Set as Set
 import           Prelude hiding (fail)
 import qualified Semantic.Core as Core
-import           Semantic.Eval
 import           Semantic.Name
 
 data Monotype a