github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 01:47:01 +03:00
Code Issues Projects Releases Wiki Activity

Rename Abstract.FreeVariables to Data.Abstract.FreeVariables.

Browse Source
This commit is contained in:
Rob Rix 2017-11-30 18:02:14 -05:00
parent 627f6fb731
commit 105eb793e1
18 changed files with 18 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-diff.cabal
View File

@ -16,7 +16,6 @@ library
exposed-modules:
-- Analyses & term annotations
Abstract.Address
, Abstract.FreeVariables
, Abstract.Interpreter
, Abstract.Interpreter.Caching
, Abstract.Interpreter.Dead
@ -41,6 +40,7 @@ library
-- General datatype definitions & generic algorithms
, Data.Abstract.Configuration
, Data.Abstract.Environment
, Data.Abstract.FreeVariables
, Data.Algebra
, Data.Align.Generic
, Data.AST

2
src/Abstract/Address.hs
View File

@ -1,7 +1,7 @@
{-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies, TypeFamilyDependencies #-}
module Abstract.Address where
import Abstract.FreeVariables
import Data.Abstract.FreeVariables
import Data.Functor.Classes
import Data.Functor.Classes.Eq.Generic
import Data.Functor.Classes.Ord.Generic

2
src/Abstract/Interpreter.hs
View File

@ -1,7 +1,6 @@
{-# LANGUAGE UndecidableInstances, AllowAmbiguousTypes, ConstraintKinds, DataKinds, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables, TypeApplications, TypeOperators, MonoLocalBinds #-}
module Abstract.Interpreter where
import Abstract.FreeVariables
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
@ -14,6 +13,7 @@ import Control.Monad.Effect.NonDetEff
import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Function (fix)
import Data.Semigroup
import qualified Data.Set as Set

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

@ -1,7 +1,6 @@
{-# LANGUAGE AllowAmbiguousTypes, ConstraintKinds, DataKinds, FlexibleContexts, FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, StandaloneDeriving, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-}
module Abstract.Interpreter.Caching where
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
import Abstract.Value
@ -17,6 +16,7 @@ import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Configuration
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Foldable
import Data.Function (fix)
import Data.Functor.Classes

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

@ -1,7 +1,6 @@
{-# LANGUAGE AllowAmbiguousTypes, DataKinds, DeriveFoldable, FlexibleContexts, FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, ScopedTypeVariables, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-}
module Abstract.Interpreter.Dead where
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
import Abstract.Value
@ -9,6 +8,7 @@ import Analysis.Abstract.Eval
import Control.Effect
import Control.Monad.Effect hiding (run)
import Control.Monad.Effect.State
import Data.Abstract.FreeVariables
import Data.Function (fix)
import Data.Functor.Foldable
import Data.Functor.Classes

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

@ -1,7 +1,6 @@
{-# LANGUAGE AllowAmbiguousTypes, DataKinds, FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables, TypeApplications, TypeFamilies, TypeOperators, UndecidableInstances #-}
module Abstract.Interpreter.Tracing where
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
import Abstract.Value
@ -12,6 +11,7 @@ import Control.Monad.Effect.Env
import Control.Monad.Effect.Reader
import Control.Monad.Effect.Writer
import Data.Abstract.Configuration
import Data.Abstract.FreeVariables
import Data.Function (fix)
import Data.Functor.Classes (Ord1)
import Data.Semigroup

2
src/Abstract/Store.hs
View File

@ -18,7 +18,6 @@ module Abstract.Store
) where
import Abstract.Address
import Abstract.FreeVariables
import Abstract.Value
import Control.Applicative
import Control.Monad ((<=<))
@ -26,6 +25,7 @@ import Control.Monad.Effect
import Control.Monad.Effect.State
import Control.Monad.Fail
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Foldable (asum, toList)
import Data.Functor.Classes
import Data.Functor.Classes.Eq.Generic

2
src/Abstract/Value.hs
View File

@ -2,9 +2,9 @@
module Abstract.Value where
import Abstract.Address
import Abstract.FreeVariables
import qualified Abstract.Type as Type
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.ByteString (ByteString)
import Data.Functor.Classes
import Data.Functor.Classes.Eq.Generic

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

@ -5,12 +5,12 @@ module Analysis.Abstract.Eval
, MonadFail(..)
) where
import Abstract.FreeVariables
import Abstract.Value
import Control.Monad.Effect.Env
import Control.Monad.Effect.GC
import Control.Monad.Fail
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Functor.Classes
import Data.Proxy
import Data.Term

2
src/Data/Abstract/Environment.hs
View File

@ -2,7 +2,7 @@
module Data.Abstract.Environment where
import Abstract.Address
import Abstract.FreeVariables
import Data.Abstract.FreeVariables
import Data.Functor.Classes
import Data.Functor.Classes.Show.Generic
import qualified Data.Map as Map

2
src/Abstract/FreeVariables.hs → src/Data/Abstract/FreeVariables.hs
View File

@ -1,5 +1,5 @@
{-# LANGUAGE DefaultSignatures, UndecidableInstances #-}
module Abstract.FreeVariables where
module Data.Abstract.FreeVariables where
import Data.ByteString (ByteString)
import Data.Functor.Foldable

2
src/Data/Syntax.hs
View File

@ -1,7 +1,6 @@
{-# LANGUAGE DeriveAnyClass, GADTs, TypeOperators, MultiParamTypeClasses, UndecidableInstances, ScopedTypeVariables, TypeApplications #-}
module Data.Syntax where
import Abstract.FreeVariables
import Abstract.Store
import Abstract.Value (LocationFor, AbstractValue(..))
import Analysis.Abstract.Eval
@ -11,6 +10,7 @@ import Control.Monad.Effect.Env
import Control.Applicative
import Control.Monad.Error.Class hiding (Error)
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.AST
import Data.ByteString (ByteString)

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

@ -2,8 +2,8 @@
module Data.Syntax.Comment where
import Abstract.Value as Value
import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.ByteString (ByteString)
import Data.Functor.Classes.Eq.Generic

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

@ -2,7 +2,6 @@
module Data.Syntax.Declaration where
import Abstract.Store
import Abstract.FreeVariables
import Abstract.Type hiding (Type)
import qualified Abstract.Type as Type
import Abstract.Value
@ -11,6 +10,7 @@ import Control.Applicative
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fresh
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.Foldable (toList)
import Data.Functor.Classes.Eq.Generic

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

@ -4,11 +4,11 @@ module Data.Syntax.Expression where
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.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Maybe
import Data.Union
import Data.Semigroup

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

@ -2,8 +2,8 @@
module Data.Syntax.Literal where
import Abstract.Value (AbstractValue(..))
import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.Maybe
import Data.ByteString (ByteString)

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

@ -1,12 +1,12 @@
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses, TypeApplications, ScopedTypeVariables, UndecidableInstances #-}
module Data.Syntax.Statement where
import Abstract.FreeVariables
import Abstract.Store
import Abstract.Value
import Analysis.Abstract.Eval
import Control.Monad.Effect.Env
import Data.Abstract.Environment
import Data.Abstract.FreeVariables
import Data.Semigroup
import Data.Align.Generic
import Data.Functor.Classes.Eq.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.FreeVariables
import Analysis.Abstract.Eval
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.Functor.Classes.Eq.Generic
import Data.Functor.Classes.Ord.Generic