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

Rename DeadCodeInterpreter to DeadCodeEvaluating.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 15:57:30 -05:00
parent 2a4a6d54ce
commit 211c78489c
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -20,15 +20,15 @@ import Data.Semigroup
import Data.Set
-- | The effects necessary for dead code analysis.
type DeadCodeInterpreter t v
type DeadCodeEvaluating t v
= '[ State (Dead t) -- For 'MonadDead'.
, Fail -- For 'MonadFail'.
, State (Store (LocationFor v) v) -- For 'MonadStore'.
, Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
]
-- | A synonym for the result of a 'DeadCodeInterpreter'.
type DeadCodeResult t v = Final (DeadCodeInterpreter t v) v
-- | A synonym for the result of 'DeadCodeEvaluating' to @v@.
type DeadCodeResult t v = Final (DeadCodeEvaluating t v) v
-- | Dead code analysis
@ -37,13 +37,13 @@ evalDead :: forall v term
, Ord term
, Foldable (Base term)
, Recursive term
, Eval term v (Eff (DeadCodeInterpreter term v)) (Base term)
, MonadAddress (LocationFor v) (Eff (DeadCodeInterpreter term v))
, Eval term v (Eff (DeadCodeEvaluating term v)) (Base term)
, MonadAddress (LocationFor v) (Eff (DeadCodeEvaluating term v))
, Semigroup (Cell (LocationFor v) v)
)
=> term
-> DeadCodeResult term v
evalDead e0 = run @(DeadCodeInterpreter term v) $ do
evalDead e0 = run @(DeadCodeEvaluating term v) $ do
killAll (Dead (subterms e0))
fix (evDead (\ recur yield -> eval recur yield . project)) pure e0
where