diff options
author | schinz <schinz@epfl.ch> | 2003-03-07 12:52:05 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2003-03-07 12:52:05 +0000 |
commit | efeadee8bb947d69412237118b273f64c5d04444 (patch) | |
tree | d7cd4099c6a12a8616afd2180672a2fc926a2b41 | |
parent | b2410c68a9cde3c313265add2bc518ad6b206f93 (diff) | |
download | scala-efeadee8bb947d69412237118b273f64c5d04444.tar.gz scala-efeadee8bb947d69412237118b273f64c5d04444.tar.bz2 scala-efeadee8bb947d69412237118b273f64c5d04444.zip |
- adapted to the new Function1
-rw-r--r-- | sources/scala/List.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/List.scala b/sources/scala/List.scala index 503dc8b083..af9305b7fc 100644 --- a/sources/scala/List.scala +++ b/sources/scala/List.scala @@ -292,7 +292,7 @@ trait List[a] extends Seq[a] { * equal (w.r.t. <code>==</code>) to <code>elem</code>. */ def contains(elem: a) = exists( - new Function1[a, Boolean] { + new Object with Function1[a, Boolean] { def apply(x: a): Boolean = x == elem; }); |