diff options
| author | Hubert Plociniczak <hubert.plociniczak@epfl.ch> | 2011-11-02 14:34:35 +0000 |
|---|---|---|
| committer | Hubert Plociniczak <hubert.plociniczak@epfl.ch> | 2011-11-02 14:34:35 +0000 |
| commit | b6778be91900b8161e705dc2598ef7af86842b0b (patch) | |
| tree | d15e8ec18a37eec212f50f1ace27714d7e7d4d34 /test/files/run/lists-run.scala | |
| parent | ac6c76f26d884a94d0c9ff54f055d3f9ab750bac (diff) | |
| download | scala-b6778be91900b8161e705dc2598ef7af86842b0b.tar.gz scala-b6778be91900b8161e705dc2598ef7af86842b0b.tar.bz2 scala-b6778be91900b8161e705dc2598ef7af86842b0b.zip | |
Begone t1737...
Diffstat (limited to 'test/files/run/lists-run.scala')
| -rw-r--r-- | test/files/run/lists-run.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/files/run/lists-run.scala b/test/files/run/lists-run.scala index 13fca22982..ccfe5bc260 100644 --- a/test/files/run/lists-run.scala +++ b/test/files/run/lists-run.scala @@ -4,7 +4,7 @@ */ object Test { def main(args: Array[String]) { - Test_multiset.run() // multiset operations: union, intersect, diff + Test_multiset.run() // multiset operations: union, intersect, diff Test1.run() //count, exists, filter, .. Test2.run() //#468 Test3.run() //#1691 @@ -54,7 +54,7 @@ object Test_multiset { assert(List(3, 2) == (vs diff xs), "vs_diff_xs") assert(isSubListOf(xs filterNot (vs contains), xs diff vs), "xs_subset_vs") - // tests adapted from Thomas Jung + // tests adapted from Thomas Jung assert({ def sort(zs: List[Int]) = zs sortWith ( _ > _ ) sort(xs intersect ys) == sort(ys intersect xs) @@ -62,7 +62,7 @@ object Test_multiset { assert({ def cardinality[A](zs: List[A], e: A): Int = zs count (e == _) val intersection = xs intersect ys - xs forall (e => cardinality(intersection, e) == (cardinality(xs, e) + xs forall (e => cardinality(intersection, e) == (cardinality(xs, e) min cardinality(ys, e))) }, "obey min cardinality") assert({ @@ -133,7 +133,7 @@ object Test2 { def run() { val xs1 = List(1, 2, 3) val xs2 = List(0) - + val ys1 = xs1 ::: List(4) assert(List(1, 2, 3, 4) == ys1, "check_:::") |