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

Use the Empty instances for the initial values.

Browse Source
This commit is contained in:
Rob Rix 2018-04-25 12:05:36 -04:00
parent 7670c44a5e
commit 6c1eb6f120
1 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/Analysis/Abstract/Evaluating.hs
View File

@ -13,7 +13,8 @@ import Data.Abstract.Evaluatable
import Data.Abstract.Module
import Data.Abstract.ModuleTable
import Data.Abstract.Origin
import Prologue
import Data.Empty
import Prologue hiding (empty)
-- | An analysis evaluating @term@s to @value@s with a list of @effects@ using 'Evaluatable', and producing incremental results of type @a@.
newtype Evaluating location term value effects a = Evaluating (Eff effects a)
@ -71,10 +72,10 @@ instance ( Ord location
(Evaluating location term value) where
interpret
= interpret
. flip runState (EvaluatorState mempty mempty mempty mempty mempty mempty mempty)
. flip runReader mempty -- Reader (Environment location value)
. flip runReader mempty -- Reader (ModuleTable [Module term])
. flip runReader mempty -- Reader (SomeOrigin term)
. flip runState (EvaluatorState empty empty empty empty empty empty empty)
. flip runReader empty -- Reader (Environment location value)
. flip runReader empty -- Reader (ModuleTable [Module term])
. flip runReader empty -- Reader (SomeOrigin term)
. flip runFresh' 0
. runFail
. Res.runError