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

Use ConfigurationFor to tidy up Tracing.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 11:33:12 -05:00
parent 2467e5f41c
commit 1c00a35d3c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -28,7 +28,7 @@ evaluateTrace :: forall trace value term
, Ord term , Ord term
, Ord value , Ord value
, Recursive term , 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)) , MonadAddressable (LocationFor value) value (TracingAnalysis trace term value (TracingEffects trace term value))
, MonadValue term 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) , Semigroup (Cell (LocationFor value) value)
@ -52,7 +52,7 @@ instance ( Corecursive term
, MonadAddressable (LocationFor value) value (TracingAnalysis trace term value effects) , MonadAddressable (LocationFor value) value (TracingAnalysis trace term value effects)
, MonadValue term value (TracingAnalysis trace term value effects) , MonadValue term value (TracingAnalysis trace term value effects)
, Recursive term , Recursive term
, Reducer (Configuration (LocationFor value) term value) trace , Reducer (ConfigurationFor term value) trace
, Semigroup (Cell (LocationFor value) value) , Semigroup (Cell (LocationFor value) value)
) )
=> MonadAnalysis term value (TracingAnalysis trace term value effects) where => MonadAnalysis term value (TracingAnalysis trace term value effects) where