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

Move Evaluatable

Browse Source
This commit is contained in:
Timothy Clem 2018-02-23 11:35:39 -08:00
parent 22095cb73e
commit bae3f74e0f
11 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
semantic-diff.cabal
View File

@ -36,6 +36,7 @@ library
, Control.Monad.Effect.Cache
, Control.Monad.Effect.Dead
, Control.Monad.Effect.Env
, Control.Monad.Effect.Evaluatable
, Control.Monad.Effect.Fresh
, Control.Monad.Effect.GC
, Control.Monad.Effect.NonDet
@ -46,7 +47,6 @@ library
, Data.Abstract.Configuration
, Data.Abstract.Environment
, Data.Abstract.Linker
, Data.Abstract.Evaluatable
, Data.Abstract.FreeVariables
, Data.Abstract.Live
, Data.Abstract.Store

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

@ -7,7 +7,7 @@ import Control.Monad.Effect.Fail
import Control.Monad.Effect.State
import Control.Monad.Effect.Reader
import Data.Abstract.Linker
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.Store
import Data.Abstract.Value
import Data.Function (fix)

2
src/Data/Abstract/Evaluatable.hs → src/Control/Monad/Effect/Evaluatable.hs
View File

@ -1,6 +1,6 @@
{-# LANGUAGE MultiParamTypeClasses, Rank2Types, GADTs, TypeOperators, DefaultSignatures, UndecidableInstances, ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
module Data.Abstract.Evaluatable
module Control.Monad.Effect.Evaluatable
( Evaluatable(..)
, step
, Linker

2
src/Data/Syntax.hs
View File

@ -9,7 +9,7 @@ import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Control.Monad.Error.Class hiding (Error)
import Data.Abstract.Environment
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Abstract.Value (LocationFor, EnvironmentFor, StoreFor, AbstractValue(..), Value)
import Data.Align.Generic

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

@ -1,7 +1,7 @@
{-# LANGUAGE DeriveAnyClass, MultiParamTypeClasses #-}
module Data.Syntax.Comment where
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Abstract.Value as Value
import Data.Align.Generic

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

@ -9,7 +9,7 @@ import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Address
import Data.Abstract.Environment
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Abstract.Value
import Data.Align.Generic

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

@ -8,7 +8,7 @@ import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Address
import Data.Abstract.Environment
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Abstract.Type as Type
import Data.Abstract.Value (Value, Closure(..), EnvironmentFor, StoreFor)

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

@ -2,7 +2,7 @@
module Data.Syntax.Literal where
import Control.Monad.Effect.Fail
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Abstract.Value (AbstractValue(..))
import Data.Align.Generic

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

@ -8,7 +8,7 @@ import Control.Monad.Effect.State
import Data.Abstract.Address
import Data.Abstract.Environment
import Data.Abstract.Store
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Abstract.Value
import Data.Align.Generic

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

@ -2,7 +2,7 @@
module Data.Syntax.Type where
import Control.Monad.Effect.Fail
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.Functor.Classes.Generic

2
src/Language/Python/Syntax.hs
View File

@ -2,7 +2,7 @@
module Language.Python.Syntax where
import Control.Monad.Effect.Fail
import Data.Abstract.Evaluatable
import Control.Monad.Effect.Evaluatable
import Data.Abstract.FreeVariables
import Data.Align.Generic
import Data.Functor.Classes.Generic