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

don't specialize to Name

Browse Source
This commit is contained in:
joshvera 2018-09-12 16:22:23 -04:00
parent daa64439f3
commit d5926dfabf
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Control/Abstract/ScopeGraph.hs
View File

@ -12,7 +12,7 @@ data ScopeEnv address (m :: * -> *) a where
Lookup :: Reference -> ScopeEnv address m (Maybe address)
Declare :: Declaration -> Span -> ScopeEnv address m ()
Reference :: Reference -> Declaration -> ScopeEnv address m ()
Create :: Map EdgeLabel [Name] -> ScopeEnv Name m ()
Create :: Map EdgeLabel [address] -> ScopeEnv address m ()
instance PureEffect (ScopeEnv address)
instance Effect (ScopeEnv address) where
@ -29,7 +29,7 @@ runScopeEnv evaluator = do
address <- alloc name
runState (ScopeGraph.emptyGraph address) (reinterpret handleScopeEnv evaluator)
handleScopeEnv :: forall address value effects a. (Ord address, Member Fresh effects)
handleScopeEnv :: forall address value effects a. (Ord address, Member Fresh effects, Member (Allocator address) effects)
=> ScopeEnv address (Eff (ScopeEnv address ': effects)) a
-> Evaluator address value (State (ScopeGraph address) ': effects) a
handleScopeEnv = \case
@ -37,5 +37,6 @@ handleScopeEnv = \case
Declare decl ddata -> modify @(ScopeGraph address) (ScopeGraph.declare decl ddata)
Reference ref decl -> modify @(ScopeGraph address) (ScopeGraph.reference ref decl)
Create edges -> do
scope <- gensym
modify @(ScopeGraph address) (ScopeGraph.create scope edges)
name <- gensym
address <- alloc name
modify @(ScopeGraph address) (ScopeGraph.create address edges)