diff options
author | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-03-15 14:45:33 +0000 |
---|---|---|
committer | Aleksandar Pokopec <aleksandar.prokopec@epfl.ch> | 2010-03-15 14:45:33 +0000 |
commit | 505bbf0b346b7b0cb1b18cb965f47df382f8217a (patch) | |
tree | 5e7fb4502b7262db71c06c829d2aea73ad70452a /test/files/scalacheck | |
parent | f1e0c8f025b3a5227d4e3c3fb39e9c8de3429e8c (diff) | |
download | scala-505bbf0b346b7b0cb1b18cb965f47df382f8217a.tar.gz scala-505bbf0b346b7b0cb1b18cb965f47df382f8217a.tar.bz2 scala-505bbf0b346b7b0cb1b18cb965f47df382f8217a.zip |
Fixes #3091. Review by community.
Diffstat (limited to 'test/files/scalacheck')
-rw-r--r-- | test/files/scalacheck/scan.scala | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/files/scalacheck/scan.scala b/test/files/scalacheck/scan.scala new file mode 100644 index 0000000000..e9b25ce3df --- /dev/null +++ b/test/files/scalacheck/scan.scala @@ -0,0 +1,17 @@ +import org.scalacheck._ +import Prop._ +import Gen._ + + +object Test extends Properties("TraversableLike.scanLeft") { + property("scanLeft") = forAll { (xs: List[Int], z: Int) => { + val sums = xs.scanLeft(z)(_ + _) + (xs.size == 0) || sums.zip(sums.tail).map(x => x._2 - x._1) == xs + }} +} + + + + + + |