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

Can get away without exporting EvaluatingEffects

Browse Source
This commit is contained in:
Timothy Clem 2018-03-13 10:14:15 -07:00
parent ae05ff7313
commit 9b576ac2c6
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -4,7 +4,7 @@ module Analysis.Abstract.Evaluating
, evaluate
, evaluates
-- Temporary, for testing
, EvaluatingEffects
-- , EvaluatingEffects
) where
import Control.Abstract.Evaluator
@ -28,11 +28,12 @@ import qualified Data.Map as Map
import System.FilePath.Posix
-- | Evaluate a term to a value.
evaluate :: forall value term
evaluate :: forall value term effects
. ( Evaluatable (Base term)
, FreeVariables term
, MonadAddressable (LocationFor value) value (Evaluating term value (EvaluatingEffects term value))
, MonadValue term value (Evaluating term value (EvaluatingEffects term value))
, effects ~ RequiredEffects term value (Evaluating term value effects)
, MonadAddressable (LocationFor value) value (Evaluating term value effects)
, MonadValue term value (Evaluating term value effects)
, Recursive term
)
=> term