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

🔥 the orphan MonadAnalysis instance.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 16:07:28 -05:00
parent e1a45b9997
commit 244e1c2ad7
1 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Data/Abstract/Evaluatable.hs
View File

@ -21,7 +21,6 @@ import Data.Abstract.FreeVariables as FreeVariables
import Data.Abstract.Value import Data.Abstract.Value
import Data.Algebra import Data.Algebra
import Data.Functor.Classes import Data.Functor.Classes
import Data.Functor.Foldable (Base, Recursive(..))
import Data.Proxy import Data.Proxy
import Data.Semigroup import Data.Semigroup
import Data.Term import Data.Term
@ -74,14 +73,3 @@ instance Evaluatable [] where
-- environment each time where the free variables in those terms are bound -- environment each time where the free variables in those terms are bound
-- to the global environment. -- to the global environment.
localEnv (const (bindEnv (liftFreeVariables (freeVariables . subterm) xs) env)) (eval xs) localEnv (const (bindEnv (liftFreeVariables (freeVariables . subterm) xs) env)) (eval xs)
instance ( AbstractValue v
, Evaluatable (Base t)
, FreeVariables t
, MonadAddressable (LocationFor v) v (Evaluator es t v)
, MonadFunction t v (Evaluator es t v)
, Recursive t
, Semigroup (Cell (LocationFor v) v)
)
=> MonadAnalysis t v (Evaluator es t v) where
evaluateTerm = foldSubterms eval