1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00

Rename Abstract.Environment to Data.Abstract.Environment.

This commit is contained in:
Rob Rix 2017-11-30 17:55:18 -05:00
parent d3aacd96e6
commit 536ea7e1b1
14 changed files with 16 additions and 18 deletions

View File

@ -17,7 +17,6 @@ library
-- Analyses & term annotations
Abstract.Address
, Abstract.Configuration
, Abstract.Environment
, Abstract.FreeVariables
, Abstract.Interpreter
, Abstract.Interpreter.Caching
@ -41,6 +40,7 @@ library
, Control.Monad.Effect.Fresh
, Control.Monad.Effect.GC
-- General datatype definitions & generic algorithms
, Data.Abstract.Environment
, Data.Algebra
, Data.Align.Generic
, Data.AST

View File

@ -2,8 +2,7 @@
module Abstract.Configuration where
import Abstract.Store
import Abstract.Environment
import Data.Abstract.Environment
import Data.List (intersperse)
import Data.Functor.Classes
import Data.Monoid

View File

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

View File

@ -2,7 +2,6 @@
module Abstract.Interpreter.Caching where
import Abstract.Configuration
import Abstract.Environment
import Abstract.FreeVariables
import Abstract.Interpreter
import Abstract.Store
@ -17,6 +16,7 @@ import Control.Monad.Effect.Internal hiding (run)
import Control.Monad.Effect.NonDetEff
import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Environment
import Data.Foldable
import Data.Function (fix)
import Data.Functor.Classes

View File

@ -1,19 +1,18 @@
{-# LANGUAGE FlexibleContexts, FlexibleInstances, MultiParamTypeClasses, RankNTypes, TypeOperators, UndecidableInstances #-}
module Abstract.Interpreter.Symbolic where
import Abstract.Environment
import Abstract.Interpreter
import Abstract.Primitive
import Abstract.Store
import Data.Term
import Control.Applicative
import Control.Monad
import Control.Monad.Effect
import Control.Monad.Effect.State
import Control.Monad.Fail
import Data.Abstract.Environment
import Data.Functor.Classes
import qualified Data.Set as Set
import Data.Term
import Data.Union
data Sym t a = Sym t | V a

View File

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

View File

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

View File

@ -5,12 +5,12 @@ module Analysis.Abstract.Eval
, MonadFail(..)
) where
import Abstract.Environment
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.Functor.Classes
import Data.Proxy
import Data.Term

View File

@ -1,10 +1,10 @@
{-# LANGUAGE MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
module Control.Monad.Effect.Env where
import Abstract.Environment
import Abstract.Value
import Control.Monad.Effect
import Control.Monad.Effect.Reader
import Data.Abstract.Environment
class Monad m => MonadEnv value m where
askEnv :: m (Environment (LocationFor value) value)

View File

@ -1,5 +1,5 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Abstract.Environment where
module Data.Abstract.Environment where
import Abstract.Address
import Abstract.FreeVariables

View File

@ -2,7 +2,6 @@
module Data.Syntax where
import Abstract.FreeVariables
import Abstract.Environment
import Abstract.Store
import Abstract.Value (LocationFor, AbstractValue(..))
import Analysis.Abstract.Eval
@ -11,6 +10,7 @@ import Control.Monad.Effect
import Control.Monad.Effect.Env
import Control.Applicative
import Control.Monad.Error.Class hiding (Error)
import Data.Abstract.Environment
import Data.Align.Generic
import Data.AST
import Data.ByteString (ByteString)

View File

@ -1,7 +1,6 @@
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses, ScopedTypeVariables, TypeApplications, UndecidableInstances #-}
module Data.Syntax.Declaration where
import Abstract.Environment
import Abstract.Store
import Abstract.FreeVariables
import Abstract.Type hiding (Type)
@ -11,6 +10,7 @@ import Analysis.Abstract.Eval
import Control.Applicative
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fresh
import Data.Abstract.Environment
import Data.Align.Generic
import Data.Foldable (toList)
import Data.Functor.Classes.Eq.Generic

View File

@ -1,7 +1,6 @@
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses, ScopedTypeVariables, UndecidableInstances #-}
module Data.Syntax.Expression where
import Abstract.Environment
import Abstract.Store
import Abstract.Value (Value, Closure(..))
import Abstract.Type as Type
@ -9,6 +8,7 @@ import Abstract.FreeVariables
import Analysis.Abstract.Eval
import Control.Monad.Effect.Env
import Control.Monad.Effect.Fresh
import Data.Abstract.Environment
import Data.Maybe
import Data.Union
import Data.Semigroup

View File

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