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

Pull subterms out to the top level.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 18:14:40 -05:00
parent ccb66340fd
commit 176142b471
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Analysis/Abstract/Dead.hs
View File

@ -31,8 +31,6 @@ evaluateDead :: forall term value
evaluateDead term = run @(DeadCodeEffects term value) . runEvaluator . runDeadCodeAnalysis $ do
killAll (subterms term)
evaluateTerm term
where subterms :: (Ord a, Recursive a, Foldable (Base a)) => a -> Dead a
subterms term = term `cons` para (foldMap (uncurry cons)) term
-- | A newtype wrapping 'Evaluator' which performs a dead code analysis on evaluation.
@ -56,6 +54,9 @@ killAll = DeadCodeAnalysis . Evaluator . put
revive :: Ord t => t -> DeadCodeAnalysis t v ()
revive t = DeadCodeAnalysis (Evaluator (modify (Dead . delete t . unDead)))
-- | Compute the set of all subterms recursively.
subterms :: (Ord term, Recursive term, Foldable (Base term)) => term -> Dead term
subterms term = term `cons` para (foldMap (uncurry cons)) term
instance ( Corecursive t
, Evaluatable (Base t)