Remove equation tracing arg from unit tests

Author: geo2a

booster/unit-tests/Test/Booster/Pattern/ApplyEquations.hs

@@ -98,7 +98,7 @@ test_evaluateFunction =
         unsafePerformIO
             . runNoLoggingT
             . (fst <$>)
-            . evaluateTerm NoCollectEquationTraces direction funDef Nothing Nothing
+            . evaluateTerm direction funDef Nothing Nothing
 
     isTooManyIterations (Left (TooManyIterations _n _ _)) = pure ()
     isTooManyIterations (Left err) = assertFailure $ "Unexpected error " <> show err
@@ -129,7 +129,7 @@ test_simplify =
         unsafePerformIO
             . runNoLoggingT
             . (fst <$>)
-            . evaluateTerm NoCollectEquationTraces direction simplDef Nothing Nothing
+            . evaluateTerm direction simplDef Nothing Nothing
     a = var "A" someSort
 
 test_simplifyPattern :: TestTree
@@ -159,7 +159,7 @@ test_simplifyPattern =
         unsafePerformIO
             . runNoLoggingT
             . (fst <$>)
-            . evaluatePattern NoCollectEquationTraces simplDef Nothing Nothing mempty
+            . evaluatePattern simplDef Nothing Nothing mempty
     a = var "A" someSort
 
 test_simplifyConstraint :: TestTree
@@ -229,7 +229,7 @@ test_simplifyConstraint =
         unsafePerformIO
             . runNoLoggingT
             . (fst <$>)
-            . simplifyConstraint NoCollectEquationTraces testDefinition Nothing Nothing mempty
+            . simplifyConstraint testDefinition Nothing Nothing mempty
 
 test_errors :: TestTree
 test_errors =
@@ -242,7 +242,7 @@ test_errors =
                 loopTerms =
                     [f $ app con1 [a], f $ app con2 [a], f $ app con3 [a, a], f $ app con1 [a]]
             isLoop loopTerms . unsafePerformIO . runNoLoggingT $
-                fst <$> evaluateTerm NoCollectEquationTraces TopDown loopDef Nothing Nothing subj
+                fst <$> evaluateTerm TopDown loopDef Nothing Nothing subj
         ]
   where
     isLoop ts (Left (EquationLoop ts')) = ts @?= ts'