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

Rename Entry to Decl.

Browse Source
This commit is contained in:
Rob Rix 2019-07-29 16:10:09 -04:00
parent ed94104e27
commit a73b267ebd
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
semantic-core/src/Analysis/ScopeGraph.hs
View File

@ -1,7 +1,7 @@
{-# LANGUAGE FlexibleContexts, OverloadedStrings, RankNTypes, RecordWildCards, TypeApplications, TypeOperators #-}
module Analysis.ScopeGraph
( ScopeGraph(..)
, Entry(..)
, Decl(..)
, scopeGraph
, scopeGraphAnalysis
) where
@ -27,16 +27,16 @@ import qualified Data.Set as Set
import Data.Text (Text)
import Prelude hiding (fail)
data Entry = Entry
{ entrySymbol :: Text
, entryLoc :: Loc
data Decl = Decl
{ declSymbol :: Text
, declLoc :: Loc
}
deriving (Eq, Ord, Show)
newtype Ref = Ref Loc
deriving (Eq, Ord, Show)
newtype ScopeGraph = ScopeGraph { unScopeGraph :: Map.Map Entry (Set.Set Ref) }
newtype ScopeGraph = ScopeGraph { unScopeGraph :: Map.Map Decl (Set.Set Ref) }
deriving (Eq, Ord, Show)
instance Semigroup ScopeGraph where
@ -102,7 +102,7 @@ scopeGraphAnalysis = Analysis{..}
ref <- asks Ref
bindLoc <- asks (Map.lookup addr)
cell <- gets (Map.lookup addr >=> nonEmpty . Set.toList)
maybe (pure Nothing) (foldMapA (pure . Just . mappend (ScopeGraph (maybe Map.empty (\ bindLoc -> Map.singleton (Entry addr bindLoc) (Set.singleton ref)) bindLoc)))) cell
maybe (pure Nothing) (foldMapA (pure . Just . mappend (ScopeGraph (maybe Map.empty (\ bindLoc -> Map.singleton (Decl addr bindLoc) (Set.singleton ref)) bindLoc)))) cell
assign addr v = modify (Map.insertWith (<>) addr (Set.singleton v))
abstract eval name body = do
addr <- alloc name