github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity

Need a Reader for the address set in our effect stack

Browse Source
This commit is contained in:
Timothy Clem 2017-11-28 15:43:06 -08:00
parent ae9c9ce2cb
commit a7bb4aae58
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Abstract/Interpreter.hs
View File

@ -22,7 +22,7 @@ import Data.Term
import Prelude hiding (fail) 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) type MonadInterpreter l v m = (MonadEnv l v m, MonadStore l v m, MonadFail m)