github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-24 23:42:31 +03:00
Code Issues Projects Releases Wiki Activity

Update remaining

Browse Source
This commit is contained in:
Rick Winfrey 2019-01-15 12:27:09 -08:00
parent 2b1e3a9585
commit 439e9ff9ae
6 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
semantic.cabal
View File

@ -59,8 +59,8 @@ library
, Data.Abstract.Declarations
, Data.Abstract.Evaluatable
, Data.Abstract.FreeVariables
, Data.Abstract.Visibilities.Visibilities
, Data.Abstract.Visibilities.Instances
, Data.Abstract.AccessControls.Class
, Data.Abstract.AccessControls.Instances
, Data.Abstract.Heap
, Data.Abstract.Live
, Data.Abstract.Module

4
src/Control/Abstract/ScopeGraph.hs
View File

@ -13,7 +13,7 @@ module Control.Abstract.ScopeGraph
, EdgeLabel(..)
, CurrentScope(..)
, Info(..)
, Visibility(..)
, AccessControl(..)
, currentScope
, insertExportEdge
, insertImportEdge
@ -45,7 +45,7 @@ import Control.Effect.Carrier
import Data.Abstract.BaseError
import Data.Abstract.Module
import Data.Abstract.Name hiding (name)
import Data.Abstract.ScopeGraph (Declaration(..), EdgeLabel, Reference, Relation(..), Scope (..), ScopeGraph, Slot(..), Info(..), Visibility(..))
import Data.Abstract.ScopeGraph (Declaration(..), EdgeLabel, Reference, Relation(..), Scope (..), ScopeGraph, Slot(..), Info(..), AccessControl(..))
import qualified Data.Abstract.ScopeGraph as ScopeGraph
import Data.Span
import Prelude hiding (lookup)

4
src/Data/Abstract/Evaluatable.hs
View File

@ -28,7 +28,7 @@ import Data.Abstract.FreeVariables as X
import Data.Abstract.Module
import Data.Abstract.Name as X
import Data.Abstract.ScopeGraph (Relation(..))
import Data.Abstract.Visibilities.Visibilities as X
import Data.Abstract.AccessControls.Class as X
import Data.Language
import Data.Scientific (Scientific)
import Data.Semigroup.App
@ -44,7 +44,7 @@ class (Show1 constr, Foldable constr) => Evaluatable constr where
, Carrier sig m
, Declarations term
, FreeVariables term
, Visibilities term
, AccessControls term
, Member (Allocator address) sig
, Member (Boolean value) sig
, Member (While value) sig

6
src/Data/Quieterm.hs
View File

@ -7,15 +7,15 @@ module Data.Quieterm
import Control.DeepSeq
import Data.Abstract.Declarations (Declarations)
import Data.Abstract.FreeVariables (FreeVariables)
import Data.Abstract.Visibilities.Visibilities
import Data.Abstract.Visibilities.Instances ()
import Data.Abstract.AccessControls.Class
import Data.Abstract.AccessControls.Instances ()
import Data.Functor.Classes
import Data.Functor.Foldable
import Data.Term
import Text.Show (showListWith)
newtype Quieterm syntax ann = Quieterm { unQuieterm :: TermF syntax ann (Quieterm syntax ann) }
deriving (Declarations, FreeVariables, Visibilities)
deriving (Declarations, FreeVariables, AccessControls)
type instance Base (Quieterm syntax ann) = TermF syntax ann
instance Functor syntax => Recursive (Quieterm syntax ann) where project = unQuieterm

2
src/Semantic/Analysis.hs
View File

@ -113,7 +113,7 @@ evalTerm :: ( Carrier sig m
, Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, AccessControls term
, AbstractValue term address value m
, Member (Allocator address) sig
, Member (Boolean value) sig

14
src/Semantic/Graph.hs
View File

@ -46,7 +46,7 @@ import Data.Abstract.Value.Abstract as Abstract
import Data.Abstract.Value.Concrete as Concrete
(Value, ValueError (..), runValueErrorWith)
import Data.Abstract.Value.Type as Type
import Data.Abstract.Visibilities.Instances ()
import Data.Abstract.AccessControls.Instances ()
import Data.Blob
import Data.File
import Data.Graph
@ -68,7 +68,7 @@ import Text.Show.Pretty (ppShow)
data GraphType = ImportGraph | CallGraph
type AnalysisClasses = '[ Declarations1, Eq1, Evaluatable, FreeVariables1, Visibilities1, Foldable, Functor, Ord1, Show1 ]
type AnalysisClasses = '[ Declarations1, Eq1, Evaluatable, FreeVariables1, AccessControls1, Foldable, Functor, Ord1, Show1 ]
runGraph :: ( Member Distribute sig
, Member (Error SomeException) sig
@ -96,7 +96,7 @@ runGraph CallGraph includePackages project
runCallGraph :: ( VertexDeclarationWithStrategy (VertexDeclarationStrategy syntax) syntax syntax
, Declarations1 syntax
, Visibilities1 syntax
, AccessControls1 syntax
, Ord1 syntax
, Functor syntax
, Evaluatable syntax
@ -147,7 +147,7 @@ runModuleTable = raiseHandler $ runReader lowerBound
runImportGraphToModuleInfos :: ( Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, AccessControls term
, HasPrelude lang
, Member Trace sig
, Recursive term
@ -164,7 +164,7 @@ runImportGraphToModuleInfos lang (package :: Package term) = runImportGraph lang
runImportGraphToModules :: ( Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, AccessControls term
, HasPrelude lang
, Member Trace sig
, Recursive term
@ -181,7 +181,7 @@ runImportGraphToModules lang (package :: Package term) = runImportGraph lang pac
runImportGraph :: ( Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, AccessControls term
, HasPrelude lang
, Member Trace sig
, Recursive term
@ -250,7 +250,7 @@ parsePythonPackage :: forall syntax sig m term.
( Declarations1 syntax
, Evaluatable syntax
, FreeVariables1 syntax
, Visibilities1 syntax
, AccessControls1 syntax
, Functor syntax
, term ~ Term syntax Location
, Member (Error SomeException) sig