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

Move graphing back outside caching.

Browse Source
This commit is contained in:
Rob Rix 2018-07-17 16:25:00 -04:00
parent 921627c61a
commit 376ba5bb48
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Graph.hs
View File

@ -89,9 +89,10 @@ runCallGraph :: ( HasField ann Span
runCallGraph lang includePackages modules package = do runCallGraph lang includePackages modules package = do
let analyzeTerm = withTermSpans . graphingTerms . cachingTerms let analyzeTerm = withTermSpans . graphingTerms . cachingTerms
analyzeModule = (if includePackages then graphingPackages else id) . convergingModules . graphingModules analyzeModule = (if includePackages then graphingPackages else id) . convergingModules . graphingModules
extractGraph (_, pairs) = simplify (foldMap (fst . snd) pairs) extractGraph (graph, _) = simplify graph
runGraphAnalysis runGraphAnalysis
= runTermEvaluator @_ @(Hole (Maybe Name) (Located Monovariant)) @Abstract = runTermEvaluator @_ @(Hole (Maybe Name) (Located Monovariant)) @Abstract
. graphing
. caching . caching
. runState (lowerBound @(Heap (Hole (Maybe Name) (Located Monovariant)) All Abstract)) . runState (lowerBound @(Heap (Hole (Maybe Name) (Located Monovariant)) All Abstract))
. runFresh 0 . runFresh 0
@ -101,7 +102,6 @@ runCallGraph lang includePackages modules package = do
. resumingEvalError . resumingEvalError
. resumingResolutionError . resumingResolutionError
. resumingAddressError . resumingAddressError
. graphing
. runReader (packageInfo package) . runReader (packageInfo package)
. runReader (lowerBound @Span) . runReader (lowerBound @Span)
. providingLiveSet . providingLiveSet