github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Code Issues Projects Releases Wiki Activity

Re-export Evaluator from Analysis.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 21:16:21 -05:00
parent c3de4459aa
commit 8551034a1b
5 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Analysis/Abstract/Tracing.hs
View File

@ -2,7 +2,6 @@
module Analysis.Abstract.Tracing where
import Control.Abstract.Analysis
import Control.Abstract.Evaluator
import Control.Monad.Effect.Writer
import Data.Abstract.Configuration
import Data.Abstract.Value

1
src/Control/Abstract/Addressable.hs
View File

@ -2,7 +2,6 @@
module Control.Abstract.Addressable where
import Control.Abstract.Analysis
import Control.Abstract.Evaluator
import Control.Applicative
import Control.Monad ((<=<))
import Data.Abstract.Address

4
src/Control/Abstract/Analysis.hs
View File

@ -2,14 +2,12 @@
module Control.Abstract.Analysis
( MonadAnalysis(..)
, delegateAnalyzeTerm
, TermFor
, ValueFor
, module X
, Subterm(..)
, SubtermAlgebra
) where
import Control.Abstract.Evaluator
import Control.Abstract.Evaluator as X
import Control.Effect as X
import Control.Monad.Effect.Fail as X
import Control.Monad.Effect.Reader as X

1
src/Control/Abstract/Value.hs
View File

@ -3,7 +3,6 @@ module Control.Abstract.Value where
import Control.Abstract.Addressable
import Control.Abstract.Analysis
import Control.Abstract.Evaluator
import Control.Monad.Effect.Fresh
import Data.Abstract.Address
import Data.Abstract.Environment

1
src/Data/Abstract/Evaluatable.hs
View File

@ -12,7 +12,6 @@ module Data.Abstract.Evaluatable
import Control.Abstract.Addressable as Addressable
import Control.Abstract.Analysis as Analysis
import Control.Abstract.Evaluator
import Control.Abstract.Value as Value
import Data.Abstract.Environment
import Data.Abstract.FreeVariables as FreeVariables