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

Define an Interpreter instance for Tracing.

Browse Source
This commit is contained in:
Rob Rix 2018-04-24 18:49:26 -04:00
parent 0adb878ccf
commit db99f9efad
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Analysis/Abstract/Tracing.hs
View File

@ -34,3 +34,9 @@ instance ( Corecursive term
liftAnalyze analyzeTerm recur term
analyzeModule = liftAnalyze analyzeModule
instance ( Interpreter effects (result, trace (Configuration location term value)) rest m
, Monoid (trace (Configuration location term value))
)
=> Interpreter (Writer (trace (Configuration location term value)) ': effects) result rest (Tracing trace m) where
interpret = interpret . raise @m . runWriter . lower