From 25e5af382e2fec0996d253ec6c03f18de9c5dd72 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 6 Mar 2018 16:40:15 -0500 Subject: [PATCH] Define dead code analysis using analyzeTerm. --- src/Analysis/Abstract/Dead.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Analysis/Abstract/Dead.hs b/src/Analysis/Abstract/Dead.hs index b9889b91a..4979d93de 100644 --- a/src/Analysis/Abstract/Dead.hs +++ b/src/Analysis/Abstract/Dead.hs @@ -79,6 +79,6 @@ instance ( Corecursive t , Semigroup (Cell (LocationFor v) v) ) => MonadAnalysis t v (DeadCodeAnalysis t v) where - evaluateTerm = foldSubterms (\ term -> do + analyzeTerm term = do revive (embedSubterm term) - eval term) + eval term