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

📝 TraceInterpreter.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 14:32:22 -05:00
parent 4bf9d38435
commit dd6d1fbd4a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -31,6 +31,7 @@ type TracingInterpreter t v g
, Reader (Environment (LocationFor v) v) -- For 'MonadEnv'.
]
-- | The effects necessary for a linear trace analysis.
type TraceInterpreter t v = TracingInterpreter t v []
type ReachableStateInterpreter t v = TracingInterpreter t v Set