github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Use the Env effect to define the import graph analysis.

Browse Source
This commit is contained in:
Rob Rix 2019-11-01 15:23:13 -04:00
parent 9e472c5956
commit 0f7be2084d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
semantic-analysis/src/Analysis/ImportGraph.hs
View File

@ -6,6 +6,7 @@ module Analysis.ImportGraph
) where
import Analysis.Analysis
import Analysis.Carrier.Env.Monovariant as A
import Analysis.File
import Analysis.FlowInsensitive
import Control.Applicative (Alternative(..))
@ -88,6 +89,7 @@ runFile
runFile eval file = traverse run file
where run = runReader (filePath file)
. runReader (fileSpan file)
. runEnv @name
. runFail
. fmap fold
. convergeTerm (Proxy @name) (fix (cacheTerm . eval importGraphAnalysis))
@ -95,6 +97,7 @@ runFile eval file = traverse run file
-- FIXME: decompose into a product domain and two atomic domains
importGraphAnalysis :: ( Alternative m
, Carrier sig m
, Member (Env name name) sig
, Member (Reader Path.AbsRelFile) sig
, Member (Reader Span) sig
, Member (State (Heap name (Value term name))) sig
@ -106,9 +109,9 @@ importGraphAnalysis :: ( Alternative m
)
=> Analysis term name name (Value term name) m
importGraphAnalysis = Analysis{..}
where alloc = pure
bind _ _ m = m
lookupEnv = pure . Just
where alloc = A.alloc
bind = A.bind
lookupEnv = A.lookupEnv
deref addr = gets (Map.lookup addr >=> nonEmpty . Set.toList) >>= maybe (pure Nothing) (foldMapA (pure . Just))
assign addr v = modify (Map.insertWith (<>) addr (Set.singleton v))
abstract _ name body = do