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

Don’t allow specialization of evaluateTerm.

Browse Source
This commit is contained in:
Rob Rix 2018-03-08 11:14:12 -05:00
parent 85fc0ba564
commit d7ec06267b
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,6 +1,7 @@
{-# LANGUAGE KindSignatures, TypeFamilies #-}
module Control.Abstract.Analysis
( MonadAnalysis(..)
, evaluateTerm
, liftAnalyze
, liftEvaluate
, module X
@ -23,15 +24,15 @@ class (MonadEvaluator m, Recursive (TermFor m)) => MonadAnalysis m where
-- | Analyze a term using the semantics of the current analysis. This should generally only be called by definitions of 'evaluateTerm' and 'analyzeTerm' in this or other instances.
analyzeTerm :: SubtermAlgebra (Base (TermFor m)) (TermFor m) (m (ValueFor m))
-- | Evaluate a term to a value using the semantics of the current analysis.
--
-- This should always be called when e.g. evaluating the bodies of closures instead of explicitly folding either 'eval' or 'analyzeTerm' over subterms, except in 'MonadAnalysis' instances themselves. On the other hand, top-level evaluation should be performed using 'evaluateModule'.
evaluateTerm :: TermFor m -> m (ValueFor m)
evaluateTerm = foldSubterms analyzeTerm
evaluateModule :: TermFor m -> m (ValueFor m)
evaluateModule = evaluateTerm
-- | Evaluate a term to a value using the semantics of the current analysis.
--
-- This should always be called when e.g. evaluating the bodies of closures instead of explicitly folding either 'eval' or 'analyzeTerm' over subterms, except in 'MonadAnalysis' instances themselves. On the other hand, top-level evaluation should be performed using 'evaluateModule'.
evaluateTerm :: MonadAnalysis m => TermFor m -> m (ValueFor m)
evaluateTerm = foldSubterms analyzeTerm
liftAnalyze :: ( term ~ TermFor m
, term ~ TermFor (t m)
, value ~ ValueFor m