make benchsuite compile again

LeventErkok · Nov 6, 2024 · 8e24308 · 8e24308
1 parent 1cd6a1e
commit 8e24308
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 6 deletions.
diff --git a/SBVBenchSuite/BenchSuite/ProofTools/Sum.hs b/SBVBenchSuite/BenchSuite/ProofTools/Sum.hs
@@ -25,5 +25,5 @@ import BenchSuite.Bench.Bench as B
 benchmarks :: Runner
 benchmarks = runIO "Sum.Correctness" sumCorrect
 
-instance NFData a => NFData (S a)
+instance NFData a => NFData (S a) where rnf a = seq a ()
 instance NFData a => NFData (InductionResult a) where rnf a = seq a ()
diff --git a/SBVBenchSuite/BenchSuite/WeakestPreconditions/Append.hs b/SBVBenchSuite/BenchSuite/WeakestPreconditions/Append.hs
@@ -22,7 +22,7 @@ import BenchSuite.WeakestPreconditions.Instances()
 
 
 -- | orphaned instance for benchmarks
-instance NFData a => NFData (AppC a) where rnf x = seq x ()
+instance NFData a => NFData (AppS a) where rnf x = seq x ()
 
 benchmarks :: Runner
 benchmarks = runIO "Correctness.Append" correctness
diff --git a/SBVBenchSuite/BenchSuite/WeakestPreconditions/Length.hs b/SBVBenchSuite/BenchSuite/WeakestPreconditions/Length.hs
@@ -16,12 +16,8 @@ module BenchSuite.WeakestPreconditions.Length(benchmarks) where
 
 import Documentation.SBV.Examples.WeakestPreconditions.Length
 
-import Control.DeepSeq
 import BenchSuite.Bench.Bench
 import BenchSuite.WeakestPreconditions.Instances()
 
-instance NFData a => NFData (LenS a)
-
-
 benchmarks :: Runner
 benchmarks = runIO "Correctness.Length" correctness