diff options
author | Martin Odersky <odersky@gmail.com> | 2009-05-08 16:33:15 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2009-05-08 16:33:15 +0000 |
commit | 14a631a5fec42d04d0723355a0b93e482b5e4662 (patch) | |
tree | f639c2a22e89e193b9abea391993ecfd4d5326ee /test/disabled/list.scala | |
parent | 2379eb4ebbd28c8892b50a1d9fa8a687099eea4d (diff) | |
download | scala-14a631a5fec42d04d0723355a0b93e482b5e4662.tar.gz scala-14a631a5fec42d04d0723355a0b93e482b5e4662.tar.bz2 scala-14a631a5fec42d04d0723355a0b93e482b5e4662.zip |
massive new collections checkin.
Diffstat (limited to 'test/disabled/list.scala')
-rw-r--r-- | test/disabled/list.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/disabled/list.scala b/test/disabled/list.scala new file mode 100644 index 0000000000..93d3a59458 --- /dev/null +++ b/test/disabled/list.scala @@ -0,0 +1,10 @@ +import org.scalacheck._ +import Prop._ + +object Test { + val prop_ConcatLists = + property((l1: List[Int], l2: List[Int]) => (l1.size + l2.size) == (l1 ::: l2).size) + + val tests = List(("ConcatLists", prop_ConcatLists)) +} + |