Renamed Evaluation.Core to Evaluation.Internal.

This commit is contained in:
Martin Sosic 2021-09-22 23:30:42 +02:00
parent 84f32b0e67
commit a25f8fc809
6 changed files with 6 additions and 6 deletions

View File

@ -35,4 +35,4 @@ module Analyzer.Evaluator.Evaluation
where
import Analyzer.Evaluator.Evaluation.Combinators
import Analyzer.Evaluator.Evaluation.Core (runEvaluation)
import Analyzer.Evaluator.Evaluation.Internal (runEvaluation)

View File

@ -1,6 +1,6 @@
{-# LANGUAGE GeneralisedNewtypeDeriving #-}
module Analyzer.Evaluator.Evaluation.Core
module Analyzer.Evaluator.Evaluation.Internal
( runEvaluation,
evaluation,
evaluation',

View File

@ -4,7 +4,7 @@ module Analyzer.Evaluator.Evaluation.TypedDictExpr
)
where
import Analyzer.Evaluator.Evaluation.Core (Evaluation)
import Analyzer.Evaluator.Evaluation.Internal (Evaluation)
import qualified Analyzer.TypeChecker.AST as TypedAST
-- | A transformation from dictionary definition (which is a list of dictionary entries) to some type. An "Evaluation" can

View File

@ -7,7 +7,7 @@ module Analyzer.Evaluator.Evaluation.TypedDictExpr.Combinators
)
where
import Analyzer.Evaluator.Evaluation.Core (evaluation, runEvaluation)
import Analyzer.Evaluator.Evaluation.Internal (evaluation, runEvaluation)
import Analyzer.Evaluator.Evaluation.TypedDictExpr (TypedDictEntries (..), TypedDictExprEvaluation)
import Analyzer.Evaluator.Evaluation.TypedExpr (TypedExprEvaluation)
import qualified Analyzer.Evaluator.EvaluationError as EvaluationError

View File

@ -3,7 +3,7 @@ module Analyzer.Evaluator.Evaluation.TypedExpr
)
where
import Analyzer.Evaluator.Evaluation.Core (Evaluation)
import Analyzer.Evaluator.Evaluation.Internal (Evaluation)
import qualified Analyzer.TypeChecker.AST as TypedAST
type TypedExprEvaluation a = Evaluation TypedAST.TypedExpr a

View File

@ -17,7 +17,7 @@ module Analyzer.Evaluator.Evaluation.TypedExpr.Combinators
where
import Analyzer.Evaluator.Decl.Operations (fromDecl)
import Analyzer.Evaluator.Evaluation.Core (evaluation, evaluation', runEvaluation)
import Analyzer.Evaluator.Evaluation.Internal (evaluation, evaluation', runEvaluation)
import Analyzer.Evaluator.Evaluation.TypedExpr (TypedExprEvaluation)
import qualified Analyzer.Evaluator.EvaluationError as EvaluationError
import qualified Analyzer.Evaluator.Types as E