From 7664c54f981b960f1220b3f18d1f20e6958db29f Mon Sep 17 00:00:00 2001 From: kenji yoshida <6b656e6a69@gmail.com> Date: Fri, 14 May 2021 10:18:50 +0900 Subject: [PATCH] add Scala 3 --- build.sbt | 2 +- src/test/scala/scalaprops/examples/PropertyExample.scala | 4 ++-- src/test/scala/scalaprops/quickstart/ListTest.scala | 6 +++--- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/build.sbt b/build.sbt index 1ada119..f854199 100644 --- a/build.sbt +++ b/build.sbt @@ -1,6 +1,6 @@ scalaVersion := "2.11.12" -crossScalaVersions := Seq("2.11.12", "2.12.13", "2.13.5") +crossScalaVersions := Seq("2.11.12", "2.12.13", "2.13.5", "3.0.0") scalacOptions ++= Seq("-feature") diff --git a/src/test/scala/scalaprops/examples/PropertyExample.scala b/src/test/scala/scalaprops/examples/PropertyExample.scala index 82ad28c..76d8bf0 100644 --- a/src/test/scala/scalaprops/examples/PropertyExample.scala +++ b/src/test/scala/scalaprops/examples/PropertyExample.scala @@ -8,9 +8,9 @@ import Property.{property, implies, prop} object PropertyExample extends Scalaprops { - val makeList = property { n: Int => + val makeList = property { (n: Int) => implies(n >= 0 && n < 10000, prop(List.fill(n)("").length == n)) } - val trivial = property { n: Int => Bool.bool(n == 0).implies(n == 0) } + val trivial = property { (n: Int) => Bool.bool(n == 0).implies(n == 0) } } diff --git a/src/test/scala/scalaprops/quickstart/ListTest.scala b/src/test/scala/scalaprops/quickstart/ListTest.scala index 974341e..b4e4b8f 100644 --- a/src/test/scala/scalaprops/quickstart/ListTest.scala +++ b/src/test/scala/scalaprops/quickstart/ListTest.scala @@ -8,12 +8,12 @@ import scalaprops._ object ListTest extends Scalaprops { val revAndRevIsOriginal = - Property.forAll { xs: List[Int] => xs.reverse.reverse == xs } + Property.forAll { (xs: List[Int]) => xs.reverse.reverse == xs } val revIsOriginal = - Property.forAll { xs: List[Int] => xs.reverse == xs } + Property.forAll { (xs: List[Int]) => xs.reverse == xs } val empty = - Property.forAll { xs: List[Int] => xs.isEmpty } + Property.forAll { (xs: List[Int]) => xs.isEmpty } .ignore("ignore a test") }