1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00

Define trace using LiftEffect.

This commit is contained in:
Rob Rix 2018-03-07 11:18:09 -05:00
parent 0d296bd6b1
commit fae0fcd7da

View File

@ -61,4 +61,4 @@ instance ( Corecursive term
analyzeTerm term = getConfiguration (embedSubterm term) >>= trace . point >> eval term
trace :: Member (Tracer trace term value) effects => trace (Configuration (LocationFor value) term value) -> TracingAnalysis trace term value effects ()
trace w = TracingAnalysis (Evaluator (tell w))
trace w = lift (tell w)