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

Simplify the graphing carriers.

Browse Source
This commit is contained in:
Rob Rix 2018-10-22 12:21:20 -04:00
parent 3dcdf3f769
commit dcc30249c4
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/Graph.hs
View File

@ -213,8 +213,8 @@ appendGraph = modify . (<>)
graphing :: (Carrier sig m, Effect sig)
=> Evaluator term address value (StateC (Map address ControlFlowVertex)
(Evaluator term address value (StateC (Graph ControlFlowVertex)
(Evaluator term address value m)))) result
=> Evaluator term address value (StateC (Map address ControlFlowVertex) (Eff
(StateC (Graph ControlFlowVertex) (Eff
m)))) result
-> Evaluator term address value m (Graph ControlFlowVertex, result)
graphing = runState mempty . runEvaluator . fmap snd . runState lowerBound . runEvaluator
graphing = raiseHandler $ runState mempty . fmap snd . runState lowerBound