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

Fix up constraints

Browse Source
This commit is contained in:
Rick Winfrey 2018-10-31 11:16:51 -07:00
parent 8b57ade7e6
commit 0c6afc5995
2 changed files with 27 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
src/Semantic/Graph.hs
View File

@ -74,6 +74,15 @@ runGraph :: forall effs. ( Member Distribute effs
, Member Task effs
, Member Trace effs
, Effects effs
, Member (Allocator (Address (Hole (Maybe Name) Precise))) effs
, Member (Resumable (BaseError (HeapError (Hole (Maybe Name) Precise)))) effs
, Member (Resumable (BaseError (ScopeError (Hole (Maybe Name) Precise)))) effs
, Member (Allocator (Hole (Maybe Name) (Located Monovariant))) effs
, Member (Reader ModuleInfo) effs
, Member (Reader Span) effs
, Member (Allocator (Address (Hole (Maybe Name) (Located Monovariant)))) effs
, Member (State (ScopeGraph (Hole (Maybe Name) Precise))) effs
, Member (Allocator (Hole (Maybe Name) Precise)) effs
)
=> GraphType
-> Bool
@ -106,6 +115,10 @@ runCallGraph :: forall fields syntax term lang effs. ( HasField fields Span
, HasPostlude lang
, Member Trace effs
, Effects effs
, Member (Allocator (Hole (Maybe Name) (Located Monovariant))) effs
, Member (Reader ModuleInfo) effs
, Member (Reader Span) effs
, Member (Allocator (Address (Hole (Maybe Name) (Located Monovariant)))) effs
)
=> Proxy lang
-> Bool
@ -154,6 +167,10 @@ runImportGraphToModuleInfos :: ( Declarations term
, Member (Resumable (BaseError (ScopeError (Hole (Maybe Name) Precise)))) effs
, Recursive term
, Effects effs
, Member (State (ScopeGraph (Hole (Maybe Name) Precise))) effs
, Member (Allocator (Hole (Maybe Name) Precise)) effs
, Member (Reader Span) effs
, Member (Reader ModuleInfo) effs
)
=> Proxy lang
-> Package term
@ -170,6 +187,10 @@ runImportGraphToModules :: ( Declarations term
, Member (Allocator (Address (Hole (Maybe Name) Precise))) effs
, Member (Resumable (BaseError (HeapError (Hole (Maybe Name) Precise)))) effs
, Member (Resumable (BaseError (ScopeError (Hole (Maybe Name) Precise)))) effs
, Member (State (ScopeGraph (Hole (Maybe Name) Precise))) effs
, Member (Allocator (Hole (Maybe Name) Precise)) effs
, Member (Reader Span) effs
, Member (Reader ModuleInfo) effs
, Recursive term
, Effects effs
)
@ -187,6 +208,11 @@ runImportGraph :: ( Declarations term
, Member Trace effs
, Recursive term
, Effects effs
, Member (State (ScopeGraph (Hole (Maybe Name) Precise))) effs
, Member (Allocator (Hole (Maybe Name) Precise)) effs
, Member (Reader Span) effs
, Member (Reader ModuleInfo) effs
, Member (Allocator (Address (Hole (Maybe Name) Precise))) effs
)
=> Proxy lang
-> Package term