github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-05 05:58:34 +03:00
Code Issues Projects Releases Wiki Activity

Comment the store and failure effects.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 15:35:42 -05:00
parent 3424a6069c
commit b148b6535c
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Analysis/Abstract/Evaluating.hs
View File

@ -21,8 +21,8 @@ import qualified Data.ByteString.Char8 as BC
-- | The effects necessary for concrete interpretation. -- | The effects necessary for concrete interpretation.
type Evaluating t v type Evaluating t v
= '[ Fail = '[ Fail -- Failure with an error message
, State (Store (LocationFor v) v) , State (Store (LocationFor v) v) -- The heap
, State (EnvironmentFor v) -- Global (imperative) environment , State (EnvironmentFor v) -- Global (imperative) environment
, Reader (EnvironmentFor v) -- Local environment (e.g. binding over a closure) , Reader (EnvironmentFor v) -- Local environment (e.g. binding over a closure)
, Reader (Linker t) -- Cache of unevaluated modules , Reader (Linker t) -- Cache of unevaluated modules