github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Code Issues Projects Releases Wiki Activity

Rename Analysis.Abstract.Evaluator to Control.Abstract.Evaluator.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 11:46:32 -05:00
parent 4c79afece2
commit b41a9d9d2b
4 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic-diff.cabal
View File

@ -19,7 +19,6 @@ library
-- , Analysis.Abstract.Collecting
-- , Analysis.Abstract.Dead
Analysis.Abstract.Evaluating
, Analysis.Abstract.Evaluator
-- , Analysis.Abstract.Tracing
, Analysis.ConstructorName
, Analysis.CyclomaticComplexity
@ -30,6 +29,8 @@ library
-- Semantic assignment
, Assigning.Assignment
, Assigning.Assignment.Table
-- Control structures & interfaces for abstract interpretation
, Control.Abstract.Evaluator
-- Control flow
, Control.Effect
-- Effects used in abstract interpretation

2
src/Analysis/Abstract/Evaluator.hs → src/Control/Abstract/Evaluator.hs
View File

@ -1,5 +1,5 @@
{-# LANGUAGE DataKinds, FunctionalDependencies, RankNTypes, UndecidableInstances #-}
module Analysis.Abstract.Evaluator where
module Control.Abstract.Evaluator where
import Control.Applicative
import Control.Monad.Effect

2
src/Control/Monad/Effect/Addressable.hs
View File

@ -1,7 +1,7 @@
{-# LANGUAGE FunctionalDependencies, TypeFamilies, UndecidableInstances #-}
module Control.Monad.Effect.Addressable where
import Analysis.Abstract.Evaluator
import Control.Abstract.Evaluator
import Control.Applicative
import Control.Monad ((<=<))
import Control.Monad.Effect.Fail

2
src/Control/Monad/Effect/Evaluatable.hs
View File

@ -9,7 +9,7 @@ module Control.Monad.Effect.Evaluatable
, MonadFunctionAbstraction(..)
) where
import Analysis.Abstract.Evaluator as Evaluator
import Control.Abstract.Evaluator as Evaluator
import Control.Applicative (Alternative(..))
import Control.Monad.Effect.Addressable
import Control.Monad.Effect.Fail