Move Semantic.Eval.* to Analysis.*.

Author: robrix

semantic-core/semantic-core.cabal

@@ -18,17 +18,17 @@ extra-source-files:  README.md
 tested-with:         GHC == 8.6.4
 
 library
-  exposed-modules:     Analysis.FlowInsensitive
+  exposed-modules:     Analysis.Concrete
+                     , Analysis.FlowInsensitive
                      , Analysis.ImportGraph
                      , Analysis.ScopeGraph
+                     , Analysis.Typecheck
                      , Control.Effect.Readline
                      , Data.File
                      , Data.Loc
                      , Data.Stack
                      , Semantic.Core
                      , Semantic.Eval
-                     , Semantic.Eval.Concrete
-                     , Semantic.Eval.Typecheck
                      , Semantic.Name
   -- other-modules:
   -- other-extensions:

…antic-core/src/Semantic/Eval/Concrete.hs semantic-core/src/Analysis/Concrete.hssemantic-core/src/Semantic/Eval/Concrete.hs renamed to semantic-core/src/Analysis/Concrete.hs semantic-core/src/Semantic/Eval/Concrete.hs renamed to semantic-core/src/Analysis/Concrete.hs

@@ -1,5 +1,5 @@
 {-# LANGUAGE FlexibleContexts, FlexibleInstances, GeneralizedNewtypeDeriving, LambdaCase, MultiParamTypeClasses, NamedFieldPuns, RecordWildCards, TypeApplications, TypeOperators, UndecidableInstances #-}
-module Semantic.Eval.Concrete
+module Analysis.Concrete
 ( Concrete(..)
 , concrete
 , concreteAnalysis

…ntic-core/src/Semantic/Eval/Typecheck.hs semantic-core/src/Analysis/Typecheck.hssemantic-core/src/Semantic/Eval/Typecheck.hs renamed to semantic-core/src/Analysis/Typecheck.hs semantic-core/src/Semantic/Eval/Typecheck.hs renamed to semantic-core/src/Analysis/Typecheck.hs

@@ -1,11 +1,11 @@
 {-# LANGUAGE DeriveFunctor, FlexibleContexts, FlexibleInstances, LambdaCase, RecordWildCards, ScopedTypeVariables, TypeApplications #-}
-module Semantic.Eval.Typecheck
+module Analysis.Typecheck
 ( Monotype (..)
 , Meta
 , Polytype (PForAll, PBool, PFree, PArr)
 , Scope
-, Semantic.Eval.Typecheck.bind
-, Semantic.Eval.Typecheck.instantiate
+, Analysis.Typecheck.bind
+, Analysis.Typecheck.instantiate
 , typecheckingFlowInsensitive
 , typecheckingAnalysis
 ) where
@@ -60,7 +60,7 @@ newtype Scope = Scope Polytype
   deriving (Eq, Ord, Show)
 
 forAll :: Gensym -> Polytype -> Polytype
-forAll n body = PForAll (Semantic.Eval.Typecheck.bind n body)
+forAll n body = PForAll (Analysis.Typecheck.bind n body)
 
 forAlls :: Foldable t => t Gensym -> Polytype -> Polytype
 forAlls ns body = foldr forAll body ns