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

📝 the components of the importGraphAnalysis result type.

Browse Source
This commit is contained in:
Rob Rix 2018-05-06 10:14:54 -04:00
parent 1a91e91a31
commit 8070fc38c0
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Semantic/Graph.hs
View File

@ -77,7 +77,12 @@ importGraphAnalysis :: forall term syntax ann a
': Resumable (Unspecialized (Value (Located Precise term)))
': Resumable (LoadError term)
': EvaluatingEffects (Located Precise term) term (Value (Located Precise term))) a
-> (Either String (Either (SomeExc (LoadError term)) ((a, ImportGraph (Term (Sum syntax) ann)), [Name])), EvaluatingState (Located Precise term) term (Value (Located Precise term)))
-> ( Either String -- 'fail' calls
( Either (SomeExc (LoadError term)) -- Unhandled LoadErrors
( ( a -- the result value
, ImportGraph (Term (Sum syntax) ann)) -- the import graph
, [Name])) -- the list of bad names
, EvaluatingState (Located Precise term) term (Value (Located Precise term))) -- the final state
importGraphAnalysis
= evaluating
. erroring @(LoadError term)