github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 08:25:19 +03:00
Code Issues Projects Releases Wiki Activity

Rename Abstract.Eval to Analysis.Abstract.Eval.

Browse Source
This commit is contained in:
Rob Rix 2017-11-30 17:51:38 -05:00
parent 2df600835f
commit d3aacd96e6
13 changed files with 13 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-diff.cabal
View File

@ -18,7 +18,6 @@ library
Abstract.Address
, Abstract.Configuration
, Abstract.Environment
, Abstract.Eval
, Abstract.FreeVariables
, Abstract.Interpreter
, Abstract.Interpreter.Caching
@ -27,6 +26,7 @@ library
, Abstract.Store
, Abstract.Type
, Abstract.Value
, Analysis.Abstract.Eval
, Analysis.ConstructorName
, Analysis.CyclomaticComplexity
, Analysis.Decorator

2
src/Abstract/Interpreter.hs
View File

@ -2,10 +2,10 @@
module Abstract.Interpreter where
import Abstract.Environment
import Abstract.Eval
import Abstract.FreeVariables
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Effect
import Control.Monad.Effect hiding (run)
import Control.Monad.Effect.Env

2
src/Abstract/Interpreter/Caching.hs
View File

@ -3,11 +3,11 @@ module Abstract.Interpreter.Caching where
import Abstract.Configuration
import Abstract.Environment
import Abstract.Eval
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Applicative
import Control.Effect
import Control.Monad.Effect.Env

3
src/Abstract/Interpreter/Dead.hs
View File

@ -1,12 +1,11 @@
{-# LANGUAGE AllowAmbiguousTypes, DataKinds, DeriveFoldable, FlexibleContexts, FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-}
module Abstract.Interpreter.Dead where
import Abstract.Eval
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Effect
import Control.Monad.Effect hiding (run)
import Control.Monad.Effect.State

2
src/Abstract/Interpreter/Tracing.hs
View File

@ -2,11 +2,11 @@
module Abstract.Interpreter.Tracing where
import Abstract.Configuration
import Abstract.Eval
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Effect
import Control.Monad.Effect hiding (run)
import Control.Monad.Effect.Env

2
src/Abstract/Eval.hs → src/Analysis/Abstract/Eval.hs
View File

@ -1,5 +1,5 @@
{-# LANGUAGE DefaultSignatures, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables, TypeOperators, UndecidableInstances #-}
module Abstract.Eval
module Analysis.Abstract.Eval
( Eval(..)
, MonadGC(..)
, MonadFail(..)

2
src/Data/Syntax.hs
View File

@ -1,11 +1,11 @@
{-# LANGUAGE DeriveAnyClass, GADTs, TypeOperators, MultiParamTypeClasses, UndecidableInstances, ScopedTypeVariables, TypeApplications #-}
module Data.Syntax where
import Abstract.Eval
import Abstract.FreeVariables
import Abstract.Environment
import Abstract.Store
import Abstract.Value (LocationFor, AbstractValue(..))
import Analysis.Abstract.Eval
import qualified Assigning.Assignment as Assignment
import Control.Monad.Effect
import Control.Monad.Effect.Env

2
src/Data/Syntax/Comment.hs
View File

@ -1,9 +1,9 @@
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses #-}
module Data.Syntax.Comment where
import Abstract.Eval
import Abstract.Value as Value
import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Data.Align.Generic
import Data.ByteString (ByteString)
import Data.Functor.Classes.Eq.Generic

2
src/Data/Syntax/Declaration.hs
View File

@ -2,12 +2,12 @@
module Data.Syntax.Declaration where
import Abstract.Environment
import Abstract.Eval
import Abstract.Store
import Abstract.FreeVariables
import Abstract.Type hiding (Type)
import qualified Abstract.Type as Type
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Applicative
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fresh

2
src/Data/Syntax/Expression.hs
View File

@ -2,11 +2,11 @@
module Data.Syntax.Expression where
import Abstract.Environment
import Abstract.Eval
import Abstract.Store
import Abstract.Value (Value, Closure(..))
import Abstract.Type as Type
import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fresh
import Data.Maybe

2
src/Data/Syntax/Literal.hs
View File

@ -1,9 +1,9 @@
{-# LANGUAGE DataKinds, DeriveAnyClass, DeriveGeneric, MultiParamTypeClasses #-}
module Data.Syntax.Literal where
import Abstract.Eval
import Abstract.Value (AbstractValue(..))
import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Data.Align.Generic
import Data.Maybe
import Data.ByteString (ByteString)

2
src/Data/Syntax/Statement.hs
View File

@ -2,10 +2,10 @@
module Data.Syntax.Statement where
import Abstract.Environment
import Abstract.Eval
import Abstract.FreeVariables
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Monad.Effect.Env
import Data.Semigroup
import Data.Align.Generic

2
src/Data/Syntax/Type.hs
View File

@ -1,8 +1,8 @@
{-# LANGUAGE DataKinds, DeriveAnyClass, DeriveGeneric, MultiParamTypeClasses #-}
module Data.Syntax.Type where
import Abstract.Eval
import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Data.Align.Generic
import Data.Functor.Classes.Eq.Generic
import Data.Functor.Classes.Ord.Generic