github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-02 04:10:29 +03:00
Code Issues Projects Releases Wiki Activity

Define getConfiguration to use askRoots.

Browse Source
This commit is contained in:
Rob Rix 2018-03-13 10:06:50 -04:00
parent 55310af7a8
commit 235f982c91
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Analysis/Abstract/Collecting.hs
View File

@ -5,6 +5,7 @@ module Analysis.Abstract.Collecting
import Control.Abstract.Analysis import Control.Abstract.Analysis
import Data.Abstract.Address import Data.Abstract.Address
import Data.Abstract.Configuration
import Data.Abstract.Live import Data.Abstract.Live
import Data.Abstract.Store import Data.Abstract.Store
import Data.Abstract.Value import Data.Abstract.Value
@ -16,7 +17,13 @@ newtype Collecting m term value (effects :: [* -> *]) a = Collecting (m term val
deriving instance MonadEnvironment value (m term value effects) => MonadEnvironment value (Collecting m term value effects) deriving instance MonadEnvironment value (m term value effects) => MonadEnvironment value (Collecting m term value effects)
deriving instance MonadStore value (m term value effects) => MonadStore value (Collecting m term value effects) deriving instance MonadStore value (m term value effects) => MonadStore value (Collecting m term value effects)
deriving instance MonadModuleTable term value (m term value effects) => MonadModuleTable term value (Collecting m term value effects) deriving instance MonadModuleTable term value (m term value effects) => MonadModuleTable term value (Collecting m term value effects)
deriving instance MonadEvaluator term value (m term value effects) => MonadEvaluator term value (Collecting m term value effects)
instance ( Effectful (m term value)
, Member (Reader (Live (LocationFor value) value)) effects
, MonadEvaluator term value (m term value effects)
)
=> MonadEvaluator term value (Collecting m term value effects) where
getConfiguration term = Configuration term <$> askRoots <*> askLocalEnv <*> getStore
instance ( Effectful (m term value) instance ( Effectful (m term value)