mirror of
https://github.com/github/semantic.git
synced 2024-12-22 22:31:36 +03:00
Re-use ev in the Dead analysis.
This commit is contained in:
parent
d9da859024
commit
9f7c07a2c8
@ -44,7 +44,7 @@ evalDead :: forall v term
|
|||||||
-> DeadCodeResult term v
|
-> DeadCodeResult term v
|
||||||
evalDead e0 = run @(DeadCodeInterpreter term v) $ do
|
evalDead e0 = run @(DeadCodeInterpreter term v) $ do
|
||||||
killAll (Dead (subterms e0))
|
killAll (Dead (subterms e0))
|
||||||
fix (evDead (\ recur yield -> eval recur yield . project)) pure e0
|
fix (evDead ev) pure e0
|
||||||
|
|
||||||
evDead :: (Ord t, MonadDead t m)
|
evDead :: (Ord t, MonadDead t m)
|
||||||
=> (Eval' t m v -> Eval' t m v)
|
=> (Eval' t m v -> Eval' t m v)
|
||||||
|
Loading…
Reference in New Issue
Block a user