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

Specialize evaluateModule.

Browse Source
This commit is contained in:
Rob Rix 2018-03-22 12:09:22 -04:00
parent ae4e17911c
commit 55abf44b16
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Analysis/Abstract/ImportGraph.hs
View File

@ -12,6 +12,7 @@ import Algebra.Graph.Class
import Algebra.Graph.Export.Dot import Algebra.Graph.Export.Dot
import Control.Abstract.Analysis import Control.Abstract.Analysis
import Data.Abstract.FreeVariables import Data.Abstract.FreeVariables
import Data.Abstract.Module
import Data.Set (member) import Data.Set (member)
import qualified Data.Syntax as Syntax import qualified Data.Syntax as Syntax
import qualified Data.Syntax.Declaration as Declaration import qualified Data.Syntax.Declaration as Declaration
@ -46,6 +47,8 @@ instance MonadAnalysis term value (m term value effects) => MonadAnalysis term v
analyzeTerm = liftAnalyze analyzeTerm analyzeTerm = liftAnalyze analyzeTerm
evaluateModule m@Module{..} = ImportGraphing (evaluateModule m)
-- | Types which contribute to a 'ImportGraph'. There is exactly one instance of this typeclass; customizing the 'ImportGraph's for a new type is done by defining an instance of 'CustomImportGraphAlgebra' instead. -- | Types which contribute to a 'ImportGraph'. There is exactly one instance of this typeclass; customizing the 'ImportGraph's for a new type is done by defining an instance of 'CustomImportGraphAlgebra' instead.
-- --