diff options
author | schinz <schinz@epfl.ch> | 2003-08-05 14:19:59 +0000 |
---|---|---|
committer | schinz <schinz@epfl.ch> | 2003-08-05 14:19:59 +0000 |
commit | 8c0290713cc8b20ce3076a984a2849a5a1458aae (patch) | |
tree | 8805074921bf900b0575019fba9c0f7ad9c9a074 | |
parent | a0451060865e799e5adcaccd06024a0d4196ed4d (diff) | |
download | scala-8c0290713cc8b20ce3076a984a2849a5a1458aae.tar.gz scala-8c0290713cc8b20ce3076a984a2849a5a1458aae.tar.bz2 scala-8c0290713cc8b20ce3076a984a2849a5a1458aae.zip |
- made unzip's type more general
-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 305c53a2f9..a952b05ac5 100644 --- a/sources/scala/List.scala +++ b/sources/scala/List.scala @@ -54,7 +54,7 @@ object List { case head :: tail => head ::: flatten(tail) } - def unzip[a](l: List[Pair[a,a]]): Pair[List[a], List[a]] = l match { + def unzip[a,b](l: List[Pair[a,b]]): Pair[List[a], List[b]] = l match { case Nil => Pair(Nil, Nil) case Pair(f, s) :: tail => val Pair(fs, ss) = unzip(tail); |