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

Implement QualifiedImport for Go

Browse Source 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
This commit is contained in:
joshvera 2018-11-26 19:55:12 -05:00
parent ccb044ac6b
commit 87d2b68e4d
1 changed files with 16 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
src/Language/Go/Syntax.hs
View File

@ -102,35 +102,22 @@ instance Evaluatable QualifiedImport where
withScope scopeAddress $ do
let
go [] = pure ()
go (modulePath : paths) = do
(scopeGraph, (heap, _)) <- require modulePath
bindAll scopeGraph
bindFrames heap
case (ScopeGraph.currentScope scopeGraph, Heap.currentFrame heap) of
(Just scope, Just frame) -> do
insertImportEdge scope
let scopeMap = (Map.singleton scope frame)
objFrame <- newFrame scopeAddress (Map.singleton ScopeGraph.Import scopeMap)
val <- object objFrame
assign aliasSlot val
for_ paths $ \modulePath -> do
(scopeGraph, (heap, _)) <- require modulePath
bindAll scopeGraph
bindFrames heap
case (ScopeGraph.currentScope scopeGraph, Heap.currentFrame heap) of
(Just scope, Just frame) -> do
insertImportEdge scope
let scopeMap = (Map.singleton scope frame)
maybeFrame <- scopedEnvironment val
case maybeFrame of
Just frame -> withFrame frame (insertFrameLink ScopeGraph.Import scopeMap)
Nothing -> pure ()
_ -> pure ()
_ -> pure ()
go (modulePath : paths) =
mkScopeMap modulePath (\scopeMap -> do
objFrame <- newFrame scopeAddress (Map.singleton ScopeGraph.Import scopeMap)
val <- object objFrame
assign aliasSlot val
for_ paths $ \modulePath ->
mkScopeMap modulePath (withFrame objFrame . insertFrameLink ScopeGraph.Import))
where mkScopeMap modulePath fun = do
(scopeGraph, (heap, _)) <- require modulePath
bindAll scopeGraph
bindFrames heap
case (ScopeGraph.currentScope scopeGraph, Heap.currentFrame heap) of
(Just scope, Just frame) -> do
insertImportEdge scope
fun (Map.singleton scope frame)
_ -> pure ()
go paths
rvalBox unit