summaryrefslogtreecommitdiff
path: root/test/pending/scalacheck/eqeq.scala
diff options
context:
space:
mode:
Diffstat (limited to 'test/pending/scalacheck/eqeq.scala')
-rw-r--r--test/pending/scalacheck/eqeq.scala37
1 files changed, 0 insertions, 37 deletions
diff --git a/test/pending/scalacheck/eqeq.scala b/test/pending/scalacheck/eqeq.scala
deleted file mode 100644
index 60fe63c207..0000000000
--- a/test/pending/scalacheck/eqeq.scala
+++ /dev/null
@@ -1,37 +0,0 @@
-import org.scalacheck._
-import Prop._
-import Gen._
-
-object Test extends Properties("==") {
- def equalObjectsEqualHashcodes(x: Any, y: Any) = (x != y) || (x == y && x.## == y.##)
-
- // ticket #2087
- property("short/char") = forAll { (x: Short) => {
- val ch: Char = x.toChar
- (x == ch) == (ch == x)
- }
- }
-
- property("symmetry") = forAll { (x: AnyVal, y: AnyVal) => (x == y) == (y == x) }
- property("transitivity") = forAll { (x: AnyVal, y: AnyVal, z: AnyVal) => x != y || y != z || x == z }
-
- property("##") = forAll {
- (x: Short) => {
- val anyvals = List(x.toByte, x.toChar, x, x.toInt, x.toLong, x.toFloat, x.toDouble, BigInt(x), BigDecimal(x))
- val shortAndLarger = anyvals drop 2
-
- val result = (
- ((anyvals, anyvals).zipped forall equalObjectsEqualHashcodes) &&
- ((shortAndLarger, shortAndLarger).zipped forall (_ == _)) &&
- ((shortAndLarger, shortAndLarger).zipped forall ((x, y) => (x: Any) == (y: Any)))
- )
- result
- }
- }
- property("## 2") = forAll {
- (dv: Double) => {
- val fv = dv.toFloat
- (fv != dv) || (fv.## == dv.##)
- }
- }
-}