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

Simplify the context for Evaluating’s MonadAnalysis instance.

Browse Source
This commit is contained in:
Rob Rix 2018-03-23 20:35:17 -04:00
parent 8fe368145d
commit 3800759ba3
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -77,13 +77,9 @@ instance Members (EvaluatingEffects term value) effects => MonadEvaluator term v
askModuleStack = raise ask
instance ( Evaluatable (Base term)
, FreeVariables term
, Members (EvaluatingEffects term value) effects
, MonadAddressable (LocationFor value) value (Evaluating term value effects)
instance ( Members (EvaluatingEffects term value) effects
, MonadValue value (Evaluating term value effects)
, Recursive term
, Show (LocationFor value)
)
=> MonadAnalysis term value (Evaluating term value effects) where
type RequiredEffects term value (Evaluating term value effects) = EvaluatingEffects term value