Merge pull request #175 from dwijnand/drop-WithExamples

Drop WithExamples
hedgehogqa · Aug 18, 2020 · 161fa25 · 161fa25
2 parents 0bfbd9b + aff1b0b
commit 161fa25
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 14 deletions.
diff --git a/core/shared/src/main/scala/hedgehog/core/PropertyT.scala b/core/shared/src/main/scala/hedgehog/core/PropertyT.scala
@@ -46,13 +46,12 @@ case class PropertyConfig(
     testLimit: SuccessCount
   , discardLimit: DiscardCount
   , shrinkLimit: ShrinkLimit
-  , withExamples: WithExamples
   )
 
 object PropertyConfig {
 
   def default: PropertyConfig =
-    PropertyConfig(SuccessCount(100), DiscardCount(100), ShrinkLimit(1000), WithExamples.NoExamples)
+    PropertyConfig(SuccessCount(100), DiscardCount(100), ShrinkLimit(1000))
 }
 
 case class PropertyT[A](
@@ -269,15 +268,6 @@ case class DiscardCount(value: Int) {
     DiscardCount(value + 1)
 }
 
-/** Whether the report should include an example for each label. */
-sealed trait WithExamples
-
-object WithExamples {
-
-  case object WithExamples extends WithExamples
-  case object NoExamples extends WithExamples
-}
-
 /**
  * The status of a property test run.
  *

diff --git a/runner/shared/src/main/scala/hedgehog/runner/Properties.scala b/runner/shared/src/main/scala/hedgehog/runner/Properties.scala
@@ -36,9 +36,6 @@ class Test(
 
   def noShrinking: Test =
     config(_.copy(shrinkLimit = ShrinkLimit(0)))
-
-  def withExamples: Test =
-    config(_.copy(withExamples = WithExamples.WithExamples))
 }
 
 object Test {