github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 08:45:48 +03:00
Code Issues Projects Releases Wiki Activity

🔥 a redundant equality constraint.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 12:35:34 -04:00
parent e6010b75cd
commit 70080feadb
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Semantic/Graph.hs
View File

@ -81,9 +81,8 @@ graphImports :: ( Show ann
, Apply Show1 syntax , Apply Show1 syntax
, Member Syntax.Identifier syntax , Member Syntax.Identifier syntax
, Members '[Exc SomeException, Task] effs , Members '[Exc SomeException, Task] effs
, term ~ Term (Union syntax) ann
) )
=> Package term -> Eff effs Abstract.ImportGraph => Package (Term (Union syntax) ann) -> Eff effs Abstract.ImportGraph
graphImports package = analyze (Analysis.SomeAnalysis (Analysis.evaluatePackage package `asAnalysisForTypeOfPackage` package)) >>= extractGraph graphImports package = analyze (Analysis.SomeAnalysis (Analysis.evaluatePackage package `asAnalysisForTypeOfPackage` package)) >>= extractGraph
where where
asAnalysisForTypeOfPackage :: ImportGraphAnalysis term effs value asAnalysisForTypeOfPackage :: ImportGraphAnalysis term effs value