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

Define an Interpreter instance for Erroring.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 18:39:57 -04:00
parent 7a86d74d10
commit b032d91900
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Semantic/Util.hs
View File

@ -54,6 +54,10 @@ instance MonadAnalysis location term value effects m
analyzeTerm = liftAnalyze analyzeTerm
analyzeModule = liftAnalyze analyzeModule
instance Interpreter effects (Either (SomeExc exc) result) rest m
=> Interpreter (Resumable exc ': effects) result rest (Erroring exc m) where
interpret = interpret . raise @m . runError . lower
-- type TestEvaluating term = Evaluating Precise term (Value Precise)
type JustEvaluating term
= Erroring (AddressError (Located Precise term) (Value (Located Precise term)))