diff options
author | michelou <michelou@epfl.ch> | 2004-08-31 08:23:27 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-08-31 08:23:27 +0000 |
commit | 6f74136951aa5e8fbaf9d9daadbec6a7cd4ef4b7 (patch) | |
tree | 41b8876d4f003f4d30d9c0b6b439dec1fcf0f32d /test/files/dis | |
parent | 31d7bbf0f5cedb8941192018ae2ec970b7069465 (diff) | |
download | scala-6f74136951aa5e8fbaf9d9daadbec6a7cd4ef4b7.tar.gz scala-6f74136951aa5e8fbaf9d9daadbec6a7cd4ef4b7.tar.bz2 scala-6f74136951aa5e8fbaf9d9daadbec6a7cd4ef4b7.zip |
- updated with new methods added by Martin.
Diffstat (limited to 'test/files/dis')
-rw-r--r-- | test/files/dis/List.check | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/files/dis/List.check b/test/files/dis/List.check index f80406d4ee..72ad9a9dfa 100644 --- a/test/files/dis/List.check +++ b/test/files/dis/List.check @@ -30,6 +30,7 @@ sealed trait List[+a]() extends scala.Seq[a] with scala.ScalaObject { def count(a => scala.Boolean): scala.Int; override def forall(a => scala.Boolean): scala.Boolean; override def exists(a => scala.Boolean): scala.Boolean; + def contains(scala.Any): scala.Boolean; override def find(a => scala.Boolean): scala.Option[a]; override def foldLeft[b](b)((b, a) => b): b; override def foldRight[b](b)((a, b) => b): b; @@ -40,7 +41,6 @@ sealed trait List[+a]() extends scala.Seq[a] with scala.ScalaObject { def mkString(java.lang.String, java.lang.String, java.lang.String): java.lang.String; override def toString(): java.lang.String; def zip[b](scala.List[b]): scala.List[scala.Tuple2[a, b]]; - def contains(scala.Any): scala.Boolean; def union[b >: a](scala.List[b]): scala.List[b]; def diff[b >: a](scala.List[b]): scala.List[b]; def intersect[b >: a](scala.List[b]): scala.List[b]; @@ -56,13 +56,14 @@ object List extends scala.AnyRef with scala.ScalaObject { final def flatten[a](scala.List[scala.List[a]]): scala.List[a]; final def unzip[a, b](scala.List[scala.Tuple2[a, b]]): scala.Tuple2[scala.List[a], scala.List[b]]; final def fromIterator[a](scala.Iterator[a]): scala.List[a]; + final def fromArray[a](scala.Array[a]): scala.List[a]; final def fromArray[a](scala.Array[a], scala.Int, scala.Int): scala.List[a]; final def fromString(java.lang.String, scala.Char): scala.List[java.lang.String]; final def fromString(java.lang.String): scala.List[scala.Char]; final def toString(scala.List[scala.Char]): java.lang.String; - final def map2[a, b, c](scala.List[a], scala.List[b], (a, b) => c): scala.List[c]; - final def forall2[a, b](scala.List[a], scala.List[b], (a, b) => scala.Boolean): scala.Boolean; - final def exists2[a, b](scala.List[a], scala.List[b], (a, b) => scala.Boolean): scala.Boolean; + final def map2[a, b, c](scala.List[a], scala.List[b])((a, b) => c): scala.List[c]; + final def forall2[a, b](scala.List[a], scala.List[b])((a, b) => scala.Boolean): scala.Boolean; + final def exists2[a, b](scala.List[a], scala.List[b])((a, b) => scala.Boolean): scala.Boolean; final def transpose[a](scala.List[scala.List[a]]): scala.List[scala.List[a]]; final def view[a <% scala.Ordered[a]](a => scala.Ordered[a])(scala.List[a]): scala.Ordered[scala.List[a]] } |