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

Merge branch 'heap-frames' of https://github.com/github/semantic into heap-frames

Browse Source
This commit is contained in:
joshvera 2018-10-31 14:28:08 -04:00
commit 0cbeaff611
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