From 928e3e44210eeda8344a49168b2043250e57379c Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 2 Mar 2018 10:10:02 -0500 Subject: [PATCH] :memo: evaluateDead. --- src/Analysis/Abstract/Dead.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Analysis/Abstract/Dead.hs b/src/Analysis/Abstract/Dead.hs index 95b0c7722..68bfddcea 100644 --- a/src/Analysis/Abstract/Dead.hs +++ b/src/Analysis/Abstract/Dead.hs @@ -27,6 +27,7 @@ type DeadCodeEvaluating t v ] +-- | Run a dead code analysis of the given program. evaluateDead :: forall term value . ( AbstractValue value , Corecursive term