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

📝 the effects in DeadCodeInterpreter.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 13:26:05 -05:00
parent aa708a1964
commit 342b6372e8
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Analysis/Abstract/Dead.hs
View File

@ -21,10 +21,10 @@ import Data.Set
-- | The effects necessary for dead code analysis.
type DeadCodeInterpreter t v
= '[ State (Dead t)
, Fail
, State (Store (LocationFor v) v)
, Reader (Environment (LocationFor v) v)
= '[ State (Dead t) -- For 'MonadDead'.
, Fail -- For 'MonadFail'.
, State (Store (LocationFor v) v) -- For 'MonadStore'.
, Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
]
type DeadCodeResult t v = Final (DeadCodeInterpreter t v) v