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

Get things compiling again

Browse Source
This commit is contained in:
Rick Winfrey 2018-12-19 19:23:02 -08:00
parent 2764f3a4ea
commit 599d55c825
3 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Quieterm.hs
View File

@ -7,13 +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.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)
deriving (Declarations, FreeVariables, Visibilities)
type instance Base (Quieterm syntax ann) = TermF syntax ann
instance Functor syntax => Recursive (Quieterm syntax ann) where project = unQuieterm

1
src/Semantic/Analysis.hs
View File

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

8
src/Semantic/Graph.hs
View File

@ -46,6 +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.Blob
import Data.File
import Data.Graph
@ -67,7 +68,7 @@ import Text.Show.Pretty (ppShow)
data GraphType = ImportGraph | CallGraph
type AnalysisClasses = '[ Declarations1, Eq1, Evaluatable, FreeVariables1, Foldable, Functor, Ord1, Show1 ]
type AnalysisClasses = '[ Declarations1, Eq1, Evaluatable, FreeVariables1, Visibilities1, Foldable, Functor, Ord1, Show1 ]
runGraph :: ( Member Distribute sig
, Member (Error SomeException) sig
@ -95,6 +96,7 @@ runGraph CallGraph includePackages project
runCallGraph :: ( VertexDeclarationWithStrategy (VertexDeclarationStrategy syntax) syntax syntax
, Declarations1 syntax
, Visibilities1 syntax
, Ord1 syntax
, Functor syntax
, Evaluatable syntax
@ -145,6 +147,7 @@ runModuleTable = raiseHandler $ runReader lowerBound
runImportGraphToModuleInfos :: ( Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, HasPrelude lang
, Member Trace sig
, Recursive term
@ -161,6 +164,7 @@ runImportGraphToModuleInfos lang (package :: Package term) = runImportGraph lang
runImportGraphToModules :: ( Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, HasPrelude lang
, Member Trace sig
, Recursive term
@ -177,6 +181,7 @@ runImportGraphToModules lang (package :: Package term) = runImportGraph lang pac
runImportGraph :: ( Declarations term
, Evaluatable (Base term)
, FreeVariables term
, Visibilities term
, HasPrelude lang
, Member Trace sig
, Recursive term
@ -245,6 +250,7 @@ parsePythonPackage :: forall syntax sig m term.
( Declarations1 syntax
, Evaluatable syntax
, FreeVariables1 syntax
, Visibilities1 syntax
, Functor syntax
, term ~ Term syntax Location
, Member (Error SomeException) sig