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

appendGraph requires a Monad.

Browse Source
This commit is contained in:
Rob Rix 2018-10-18 08:20:36 -04:00
parent c9e6912068
commit b541a973a4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -109,7 +109,7 @@ graphingPackages :: ( Member (Reader PackageInfo) sig
, Member (State (Graph ControlFlowVertex)) sig , Member (State (Graph ControlFlowVertex)) sig
, Member (Reader ControlFlowVertex) sig , Member (Reader ControlFlowVertex) sig
, Carrier sig m , Carrier sig m
, Applicative m , Monad m
) )
=> Open (Module term -> m a) => Open (Module term -> m a)
graphingPackages recur m = graphingPackages recur m =
@ -190,7 +190,7 @@ variableDefinition var = do
context <- ask context <- ask
appendGraph (vertex context `connect` vertex var) appendGraph (vertex context `connect` vertex var)
appendGraph :: (Member (State (Graph v)) sig, Carrier sig m) => Graph v -> m () appendGraph :: (Member (State (Graph v)) sig, Carrier sig m, Monad m) => Graph v -> m ()
appendGraph = modify . (<>) appendGraph = modify . (<>)