From a7bb4aae58ea61e17a237bb7bd4fbee9df5753dd Mon Sep 17 00:00:00 2001 From: Timothy Clem Date: Tue, 28 Nov 2017 15:43:06 -0800 Subject: [PATCH] Need a Reader for the address set in our effect stack --- src/Abstract/Interpreter.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Abstract/Interpreter.hs b/src/Abstract/Interpreter.hs index 823ecf54e..18a3d0191 100644 --- a/src/Abstract/Interpreter.hs +++ b/src/Abstract/Interpreter.hs @@ -22,7 +22,7 @@ import Data.Term import Prelude hiding (fail) -type Interpreter l v = '[Fresh, Fail, NonDetEff, State (Store l v), Reader (Environment l v)] +type Interpreter l v = '[Fresh, Fail, NonDetEff, State (Store l v), Reader (Set.Set (Address l v)), Reader (Environment l v)] type MonadInterpreter l v m = (MonadEnv l v m, MonadStore l v m, MonadFail m)