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

Add Identifier instance for Evaluatable

Browse Source
This commit is contained in:
joshvera 2018-02-21 15:35:46 -05:00
parent 0fa73b3d14
commit db7f5b1cb8
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/Data/Syntax.hs
View File

@ -7,11 +7,13 @@ import Control.Monad.Effect
import Control.Monad.Effect.Address
import Control.Monad.Effect.Env
import Control.Monad.Effect.Store
import Control.Monad.Effect.State
import Control.Monad.Error.Class hiding (Error)
import Data.Abstract.Address
import Data.Abstract.Environment
import Data.Abstract.Eval
import qualified Data.Abstract.Eval2 as E2
import qualified Data.Abstract.Eval3 as E3
import Data.Abstract.FreeVariables
import Data.Abstract.Value (LocationFor, AbstractValue(..), Value)
import qualified Data.Abstract.Value as Value
@ -149,6 +151,15 @@ instance ( MonadAddress (LocationFor v) m
env <- E2.askEnv
maybe (fail ("free variable: " <> unpack name)) deref (envLookup name env)
instance ( MonadAddress (LocationFor v) (Eff es)
, MonadFail (Eff es)
, MonadStore v (Eff es)
, (State (E3.Env' v) :< es)
) => E3.Evaluatable es t v Identifier where
eval (Identifier name) = do
env <- get
maybe (fail ("free variable: " <> unpack name)) deref (envLookup name env)
instance FreeVariables1 Identifier where
liftFreeVariables _ (Identifier x) = point x