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

Use the embedSubterm helper.

Browse Source
This commit is contained in:
Rob Rix 2018-03-06 17:18:00 -05:00
parent ee911a0990
commit 4e9f13a035
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -94,7 +94,7 @@ instance ( Corecursive term
env <- askLocalEnv
store <- getStore
roots <- pure mempty
trace (point (Configuration (embed (subterm <$> term)) roots env store))
trace (point (Configuration (embedSubterm term) roots env store))
eval term
trace :: trace (Configuration (LocationFor value) term value) -> TracingAnalysis trace term value ()