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

Add Eval back to Evaluating

Browse Source
This commit is contained in:
joshvera 2018-02-21 18:12:19 -05:00
parent e364b6f3ae
commit baed0e3d82
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Analysis/Abstract/Evaluating3.hs
View File

@ -25,10 +25,10 @@ import System.FilePath.Posix
-- | The effects necessary for concrete interpretation. -- | The effects necessary for concrete interpretation.
type Evaluating term v type Evaluating term v
= '[ Fail -- For 'MonadFail'. = '[ Fail -- For 'MonadFail'.
, Store2 v -- For 'MonadStore'. , State (Store (LocationFor v) v) -- For 'MonadStore'.
, State (Environment (LocationFor v) v) -- Environment State , State (Environment (LocationFor v) v) -- Environment State
-- , Eval (Base term) term , Eval (Base term) term
] ]
-- | Evaluate a term to a value. -- | Evaluate a term to a value.