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

Generalize importGraph over the term type.

Browse Source
This commit is contained in:
Rob Rix 2019-07-29 12:31:52 -04:00
parent b92611458e
commit 4553d59faf
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 11 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
semantic-core/src/Analysis/ImportGraph.hs
View File

@ -14,7 +14,6 @@ import Control.Effect.Fresh
import Control.Effect.Reader
import Control.Effect.State
import Control.Monad ((>=>))
import qualified Data.Core as Core
import Data.File
import Data.Foldable (fold)
import Data.Function (fix)
@ -24,7 +23,6 @@ import qualified Data.Map as Map
import Data.Name
import Data.Proxy
import qualified Data.Set as Set
import Data.Term
import Data.Text (Text)
import Prelude hiding (fail)
@ -51,11 +49,18 @@ data Semi term
importGraph
:: [File (Term (Core.Ann :+: Core.Core) User)]
-> ( Heap User (Value (Term (Core.Ann :+: Core.Core) User))
, [File (Either (Loc, String) (Value (Term (Core.Ann :+: Core.Core) User)))]
:: (Ord term, Show term)
=> (forall sig m
. (Carrier sig m, Member (Reader Loc) sig, MonadFail m)
=> Analysis term User (Value term) m
-> (term -> m (Value term))
-> (term -> m (Value term))
)
importGraph
-> [File term]
-> ( Heap User (Value term)
, [File (Either (Loc, String) (Value term))]
)
importGraph eval
= run
. runFresh
. runHeap "__semantic_root"