📝 Interpreter.

2024-12-22 06:11:49 +03:00 · 2017-12-21 13:14:15 -05:00 · 2017-12-21 13:14:15 -05:00 · 19c6c2a135
commit 19c6c2a135
parent 70692db981
1 changed files with 1 additions and 0 deletions
--- a/src/Analysis/Abstract/Evaluating.hs
+++ b/src/Analysis/Abstract/Evaluating.hs
@ -20,6 +20,7 @@ import Data.Functor.Foldable (Base, Recursive(..))
 import Data.Semigroup
 import Data.Set

+-- | The effects necessary for concrete interpretation.
 type Interpreter v
  = '[ Fail
     , Reader (Live (LocationFor v) v)