📝 evaluateDead.

2025-01-02 20:41:38 +03:00 · 2018-03-02 10:10:02 -05:00 · 2018-03-02 10:10:02 -05:00 · 928e3e4421
commit 928e3e4421
parent a76027926d
1 changed files with 1 additions and 0 deletions
--- 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