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

Add types for terms, values, and the effects for evaluating terms.

Browse Source
This commit is contained in:
Rob Rix 2018-05-07 15:09:50 -04:00
parent f16b734be3
commit 47d48d695e
1 changed files with 29 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
test/Control/Abstract/Evaluator/Spec.hs
View File

@ -1,6 +1,34 @@
module Control.Abstract.Evaluator.Spec where
import SpecHelpers
import Control.Abstract
import Data.Abstract.Module
import qualified Data.Abstract.Number as Number
import Data.Abstract.Package
import qualified Data.Abstract.Value as Value
import SpecHelpers hiding (Term)
spec :: Spec
spec = parallel $ pure ()
type TermEffects
= '[ LoopControl Value
, Return Value
, EvalClosure Term Value
, Resumable (AddressError Precise Value)
, Resumable (Value.ValueError Precise Value)
, Reader ModuleInfo
, Reader PackageInfo
, Fail
, Fresh
, Reader (Environment Precise Value)
, State (Environment Precise Value)
, State (Heap Precise Value)
, State (ModuleTable (Environment Precise Value, Value))
, State (Exports Precise Value)
, State (JumpTable Term)
]
type Value = Value.Value Precise
newtype Term = Term { runTerm :: Evaluator Precise Term Value TermEffects Value }
instance Show Term where showsPrec d _ = showParen (d > 10) $ showString "Term _"