From 1d856cb047a4712b0824648ba0f015635d815629 Mon Sep 17 00:00:00 2001 From: Philipp Haller Date: Tue, 20 Feb 2007 17:02:34 +0000 Subject: --- src/library/scala/io/BytePickle.scala | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/library/scala/io/BytePickle.scala b/src/library/scala/io/BytePickle.scala index 831f4671d0..7354362665 100644 --- a/src/library/scala/io/BytePickle.scala +++ b/src/library/scala/io/BytePickle.scala @@ -11,8 +11,7 @@ package scala.io - -import scala.collection.mutable.{HashMap,ArrayBuffer} +import scala.collection.mutable.{HashMap, ArrayBuffer} /** * Pickler combinators. @@ -20,8 +19,8 @@ import scala.collection.mutable.{HashMap,ArrayBuffer} * see http://research.microsoft.com/~akenn/fun/. * - * @author Philipp Haller (philipp.haller<at>epfl.ch) - * @version 1.0 + * @author Philipp Haller + * @version 1.1 */ object BytePickle { abstract class SPU[t] { @@ -289,7 +288,7 @@ object BytePickle { def pairToList(p: Pair[a,List[a]]): List[a] = p._1 :: p._2; def listToPair(l: List[a]): Pair[a,List[a]] = - l match { case x :: xs => Pair(x, xs) } + (l: @unsealed) match { case x :: xs => Pair(x, xs) } if (n == 0) ulift(Nil) else @@ -300,7 +299,7 @@ object BytePickle { def pairToList(p: Pair[a,List[a]]): List[a] = p._1 :: p._2; def listToPair(l: List[a]): Pair[a,List[a]] = - l match { case x :: xs => Pair(x, xs) } + (l: @unsealed) match { case x :: xs => Pair(x, xs) } if (n == 0) lift(Nil) else -- cgit v1.2.3