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

Replace askRoots with getConfiguration directly.

Browse Source
This commit is contained in:
Rob Rix 2018-03-12 15:09:51 -04:00
parent 6a53cf8da9
commit 8e9375c08b
1 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/Control/Abstract/Evaluator.hs
View File

@ -2,7 +2,6 @@
module Control.Abstract.Evaluator where
import Data.Abstract.Configuration
import Data.Abstract.Live
import Data.Abstract.ModuleTable
import Data.Abstract.Value
import Prelude hiding (fail)
@ -20,13 +19,9 @@ class ( MonadEnvironment value m
, MonadStore value m
)
=> MonadEvaluator term value m | m -> term, m -> value where
-- | Retrieve the current root set.
askRoots :: Ord (LocationFor value) => m (Live (LocationFor value) value)
askRoots = pure mempty
-- | Get the current 'Configuration' with a passed-in term.
getConfiguration :: (MonadEvaluator term value m, Ord (LocationFor value)) => term -> m (ConfigurationFor term value)
getConfiguration term = Configuration term <$> askRoots <*> askLocalEnv <*> getStore
-- | Get the current 'Configuration' with a passed-in term.
getConfiguration :: Ord (LocationFor value) => term -> m (ConfigurationFor term value)
getConfiguration term = Configuration term mempty <$> askLocalEnv <*> getStore
class Monad m => MonadEnvironment value m | m -> value where
-- | Retrieve the global environment.