From 1c00a35d3ce6caa15a0fb526e3472c2b9602a40f Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 7 Mar 2018 11:33:12 -0500 Subject: [PATCH] Use ConfigurationFor to tidy up Tracing. --- src/Analysis/Abstract/Tracing.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Analysis/Abstract/Tracing.hs b/src/Analysis/Abstract/Tracing.hs index ec1773d17..06de52816 100644 --- a/src/Analysis/Abstract/Tracing.hs +++ b/src/Analysis/Abstract/Tracing.hs @@ -28,7 +28,7 @@ evaluateTrace :: forall trace value term , Ord term , Ord value , Recursive term - , Reducer (Configuration (LocationFor value) term value) trace + , Reducer (ConfigurationFor term value) trace , MonadAddressable (LocationFor value) value (TracingAnalysis trace term value (TracingEffects trace term value)) , MonadValue term value (TracingAnalysis trace term value (TracingEffects trace term value)) , Semigroup (Cell (LocationFor value) value) @@ -52,7 +52,7 @@ instance ( Corecursive term , MonadAddressable (LocationFor value) value (TracingAnalysis trace term value effects) , MonadValue term value (TracingAnalysis trace term value effects) , Recursive term - , Reducer (Configuration (LocationFor value) term value) trace + , Reducer (ConfigurationFor term value) trace , Semigroup (Cell (LocationFor value) value) ) => MonadAnalysis term value (TracingAnalysis trace term value effects) where