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 Data.Abstract.Value to Data.Abstract.Value.Concrete.

Browse Source
This commit is contained in:
Rob Rix 2018-07-03 14:22:26 -04:00
parent 40b0f51342
commit 5100670e72
9 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic.cabal
View File

@ -66,7 +66,7 @@ library
, Data.Abstract.Path
, Data.Abstract.Ref
, Data.Abstract.Type
, Data.Abstract.Value
, Data.Abstract.Value.Concrete
-- General datatype definitions & generic algorithms
, Data.Algebra
, Data.AST

2
src/Data/Abstract/Value.hs → src/Data/Abstract/Value/Concrete.hs
View File

@ -1,5 +1,5 @@
{-# LANGUAGE GADTs, RankNTypes, TypeOperators, UndecidableInstances #-}
module Data.Abstract.Value where
module Data.Abstract.Value.Concrete where
import Control.Abstract
import Data.Abstract.Environment (Environment, mergeEnvs)

2
src/Semantic/Graph.hs
View File

@ -29,7 +29,7 @@ import Data.Abstract.Evaluatable
import Data.Abstract.Module
import qualified Data.Abstract.ModuleTable as ModuleTable
import Data.Abstract.Package as Package
import Data.Abstract.Value (Value, ValueError (..), runValueErrorWith)
import Data.Abstract.Value.Concrete (Value, ValueError (..), runValueErrorWith)
import Data.Graph
import Data.Project
import Data.Record

2
src/Semantic/Util.hs
View File

@ -10,11 +10,11 @@ import Control.Abstract
import Control.Monad.Effect.Trace (runPrintingTrace)
import Data.Abstract.Address
import Data.Abstract.Evaluatable
import Data.Abstract.Value
import Data.Abstract.Module
import qualified Data.Abstract.ModuleTable as ModuleTable
import Data.Abstract.Package
import Data.Abstract.Type
import Data.Abstract.Value.Concrete
import Data.Blob
import Data.Functor.Foldable
import Data.Graph (topologicalSort)

2
test/Analysis/Python/Spec.hs
View File

@ -3,7 +3,7 @@ module Analysis.Python.Spec (spec) where
import Data.Abstract.Environment as Env
import Data.Abstract.Evaluatable (EvalError(..))
import qualified Data.Abstract.ModuleTable as ModuleTable
import Data.Abstract.Value
import Data.Abstract.Value.Concrete
import qualified Language.Python.Assignment as Python
import qualified Data.Language as Language

2
test/Analysis/Ruby/Spec.hs
View File

@ -2,9 +2,9 @@ module Analysis.Ruby.Spec (spec) where
import Data.Abstract.Environment as Env
import Data.Abstract.Evaluatable
import Data.Abstract.Value as Value
import qualified Data.Abstract.ModuleTable as ModuleTable
import Data.Abstract.Number as Number
import Data.Abstract.Value.Concrete as Value
import Data.AST
import Control.Monad.Effect (SomeExc(..))
import Data.List.NonEmpty (NonEmpty(..))

2
test/Analysis/TypeScript/Spec.hs
View File

@ -3,9 +3,9 @@ module Analysis.TypeScript.Spec (spec) where
import Control.Arrow ((&&&))
import Data.Abstract.Environment as Env
import Data.Abstract.Evaluatable
import Data.Abstract.Value as Value
import Data.Abstract.Number as Number
import qualified Data.Abstract.ModuleTable as ModuleTable
import Data.Abstract.Value.Concrete as Value
import qualified Data.Language as Language
import qualified Data.List.NonEmpty as NonEmpty
import Data.Sum

2
test/Control/Abstract/Evaluator/Spec.hs
View File

@ -8,7 +8,7 @@ import Control.Abstract
import Data.Abstract.Module
import qualified Data.Abstract.Number as Number
import Data.Abstract.Package
import Data.Abstract.Value as Value
import Data.Abstract.Value.Concrete as Value
import Data.Algebra
import Data.Bifunctor (first)
import Data.Functor.Const

2
test/SpecHelpers.hs
View File

@ -25,7 +25,7 @@ import Data.Abstract.Heap as X
import Data.Abstract.Module as X
import Data.Abstract.ModuleTable as X hiding (lookup)
import Data.Abstract.Name as X
import Data.Abstract.Value (Value(..), ValueError, runValueError)
import Data.Abstract.Value.Concrete (Value(..), ValueError, runValueError)
import Data.Bifunctor (first)
import Data.Blob as X
import Data.ByteString.Builder (toLazyByteString)