From 116cc96627533e4372fd223d673cf3842ff89036 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 14:33:14 -0500
Subject: [PATCH] :memo: evTell.

---
 src/Analysis/Abstract/Tracing.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Analysis/Abstract/Tracing.hs b/src/Analysis/Abstract/Tracing.hs
index 631a62c09..db85812ab 100644
--- a/src/Analysis/Abstract/Tracing.hs
+++ b/src/Analysis/Abstract/Tracing.hs
@@ -65,6 +65,7 @@ evalReach :: forall v term
 evalReach = run @(ReachableStateInterpreter term v) . fix (evTell @Set (\ recur yield -> eval recur yield . project)) pure
 
 
+-- | Small-step evaluation which records every visited configuration.
 evTell :: forall g t m v
        . ( Monoid (g (Configuration (LocationFor v) t v))
          , Pointed g