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

Use step here

Browse Source
This commit is contained in:
Timothy Clem 2018-02-20 15:44:40 -08:00
parent 08302cd292
commit 268e21d8aa
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Analysis/Abstract/Evaluating2.hs
View File

@ -27,7 +27,6 @@ import System.FilePath.Posix
type Evaluating v type Evaluating v
= '[ Fail -- For 'MonadFail'. = '[ Fail -- For 'MonadFail'.
, State (Store (LocationFor v) v) -- For 'MonadStore'. , State (Store (LocationFor v) v) -- For 'MonadStore'.
, Reader (Environment (LocationFor v) v) -- Local environment , Reader (Environment (LocationFor v) v) -- Local environment
, State (Environment (LocationFor v) v) -- Global environment , State (Environment (LocationFor v) v) -- Global environment
] ]
@ -41,8 +40,4 @@ evaluate :: forall v term
) )
=> term => term
-> Final (Evaluating v) v -> Final (Evaluating v) v
evaluate = run @(Evaluating v) . fix go evaluate = run @(Evaluating v) . fix (const step)
where
go :: (Recursive term, Eval term v m (Base term)) =>
(term -> m v) -> term -> m v
go _ = eval . project