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

🔥 evaluates.

Browse Source
This commit is contained in:
Rob Rix 2018-03-21 19:44:53 -04:00
parent 864606af8a
commit ba73ae1eaa
1 changed files with 0 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,7 +2,6 @@
module Analysis.Abstract.Evaluating module Analysis.Abstract.Evaluating
( type Evaluating ( type Evaluating
, evaluate , evaluate
, evaluates
) where ) where
import Control.Abstract.Evaluator import Control.Abstract.Evaluator
@ -16,7 +15,6 @@ import Data.Abstract.Evaluatable
import Data.Abstract.Module import Data.Abstract.Module
import Data.Abstract.ModuleTable import Data.Abstract.ModuleTable
import Data.Abstract.Value import Data.Abstract.Value
import Data.Blob
import qualified Data.IntMap as IntMap import qualified Data.IntMap as IntMap
import Prelude hiding (fail) import Prelude hiding (fail)
import Prologue import Prologue
@ -35,20 +33,6 @@ evaluate :: forall value term effects
-> Final effects value -> Final effects value
evaluate = runAnalysis @(Evaluating term value) . evaluateModule evaluate = runAnalysis @(Evaluating term value) . evaluateModule
-- | Evaluate terms and an entry point to a value.
evaluates :: forall value term effects
. ( effects ~ RequiredEffects term value (Evaluating term value effects)
, Evaluatable (Base term)
, FreeVariables term
, MonadAddressable (LocationFor value) value (Evaluating term value effects)
, MonadValue value (Evaluating term value effects)
, Recursive term
, Show (LocationFor value)
)
=> [(Blob, term)] -- List of (blob, term) pairs that make up the program to be evaluated
-> (Blob, term) -- Entrypoint
-> Final effects value
evaluates pairs (b, t) = runAnalysis @(Evaluating term value) (withModules b pairs (evaluateModule t))
-- | An analysis evaluating @term@s to @value@s with a list of @effects@ using 'Evaluatable', and producing incremental results of type @a@. -- | An analysis evaluating @term@s to @value@s with a list of @effects@ using 'Evaluatable', and producing incremental results of type @a@.
newtype Evaluating term value effects a = Evaluating (Eff effects a) newtype Evaluating term value effects a = Evaluating (Eff effects a)