From 63089985c650e571520b436af5a0edab82271220 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 21 Dec 2017 13:23:07 -0500 Subject: [PATCH] :memo: the concrete effects. --- src/Analysis/Abstract/Evaluating.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs index cffceabd4..c5b37143c 100644 --- a/src/Analysis/Abstract/Evaluating.hs +++ b/src/Analysis/Abstract/Evaluating.hs @@ -21,10 +21,10 @@ import Data.Semigroup -- | The effects necessary for concrete interpretation. type Interpreter v - = '[ Fail - , Reader (Live (LocationFor v) v) - , State (Store (LocationFor v) v) - , Reader (Environment (LocationFor v) v) + = '[ Fail -- For 'MonadFail'. + , Reader (Live (LocationFor v) v) -- For 'MonadGC'. + , State (Store (LocationFor v) v) -- For 'MonadStore'. + , Reader (Environment (LocationFor v) v) -- For 'MonadEnv'. ] type MonadInterpreter v m = (MonadEnv v m, MonadStore v m, MonadFail m)