diff options
author | michelou <michelou@epfl.ch> | 2004-04-23 08:20:49 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2004-04-23 08:20:49 +0000 |
commit | 0193c6d2d513d776ffa2879e79031136f9fdcff6 (patch) | |
tree | b736e7698232b6620ba9c64c4af18ddd29983c76 /test/files | |
parent | 141324d8253fd57548b4f21ac46dc72ae8b9d626 (diff) | |
download | scala-0193c6d2d513d776ffa2879e79031136f9fdcff6.tar.gz scala-0193c6d2d513d776ffa2879e79031136f9fdcff6.tar.bz2 scala-0193c6d2d513d776ffa2879e79031136f9fdcff6.zip |
- updated check file (new 'view' function).
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/dis/List.check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/files/dis/List.check b/test/files/dis/List.check index b069683cb1..61db4a4675 100644 --- a/test/files/dis/List.check +++ b/test/files/dis/List.check @@ -47,6 +47,7 @@ trait List[+a] extends scala.Seq[a] with scala.ScalaObject { def isEmpty: scala.Boolean } object List extends java.lang.Object with scala.ScalaObject { + final def view[a <: scala.Ordered[a]](scala.Function1[a, scala.Ordered[a]])(scala.List[a]): scala.Ordered[scala.List[a]]; final def toString(scala.List[scala.Char]): java.lang.String; final def fromString(java.lang.String): scala.List[scala.Char]; final def fromString(java.lang.String, scala.Char): scala.List[java.lang.String]; |