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

🔥 a couple of redundant membership constraints on the origin.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 10:36:32 -04:00
parent 2688eee324
commit 3039dcf8d0
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -98,8 +98,7 @@ moduleGraph = maybe empty (vertex . Module . BC.pack . modulePath) . withSomeOri
-- | Add an edge from the current package to the passed vertex.
packageInclusion :: forall m location term value effects
. ( Member (Reader (SomeOrigin term)) effects
, Member (State ImportGraph) effects
. ( Member (State ImportGraph) effects
, MonadEvaluator location term value effects m
)
=> Vertex
@ -110,8 +109,7 @@ packageInclusion v = do
-- | Add an edge from the current module to the passed vertex.
moduleInclusion :: forall m location term value effects
. ( Member (Reader (SomeOrigin term)) effects
, Member (State ImportGraph) effects
. ( Member (State ImportGraph) effects
, MonadEvaluator location term value effects m
)
=> Vertex