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

Weaken the conditions on the MonadEvaluator & MonadAnalysis instances for Evaluating.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 10:43:42 -04:00
parent d79d17768b
commit f16bf3e5ac
1 changed files with 11 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -40,12 +40,21 @@ type EvaluatingEffects location term value
, State (EvaluatorState location term value) -- Environment, heap, modules, exports, and jumps.
]
instance Members (EvaluatingEffects location term value) effects
instance ( Member Fail effects
, Member (Reader (Environment location value)) effects
, Member (Reader (ModuleTable [Module term])) effects
, Member (Reader (SomeOrigin term)) effects
, Member (State (EvaluatorState location term value)) effects
)
=> MonadEvaluator location term value effects (Evaluating location term value) where
getConfiguration term = Configuration term mempty <$> getEnv <*> getHeap
instance ( Corecursive term
, Members (EvaluatingEffects location term value) effects
, Member Fail effects
, Member (Reader (Environment location value)) effects
, Member (Reader (ModuleTable [Module term])) effects
, Member (Reader (SomeOrigin term)) effects
, Member (State (EvaluatorState location term value)) effects
, Recursive term
)
=> MonadAnalysis location term value effects (Evaluating location term value) where