From 6497d02675e651a79383c43f6ef38be918be1867 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 25 Sep 2015 16:29:21 +0200 Subject: Move failing test to pending There is a diff, but a minor one. Instead of (T? >: Int <: Int) we get (T? = Int) after pickling. --- tests/pickling/i94-nada.scala | 45 ------------------------------------------- 1 file changed, 45 deletions(-) delete mode 100644 tests/pickling/i94-nada.scala (limited to 'tests/pickling') diff --git a/tests/pickling/i94-nada.scala b/tests/pickling/i94-nada.scala deleted file mode 100644 index ce8dc98ad..000000000 --- a/tests/pickling/i94-nada.scala +++ /dev/null @@ -1,45 +0,0 @@ -package i94 - -import scala.language.higherKinds - -trait Base { - type Rep[T] -} - -trait BaseExp extends Base { - type Rep[T] = Exp[T] - case class Exp[T](v: T) -} - -trait BaseStr extends Base { - type Rep[T] = String -} - -trait BaseDirect extends Base { - type Rep[T] = T -} - -trait Test1 { - trait Monad[X] { - def x: X - } - sealed abstract class Either[A,B] - case class Left[A,B](x: A) extends Either[A,B] with Monad[A] - case class Right[A,B](x: B) extends Either[A,B] with Monad[B] - def flatMap[X,Y,M[X]<:Monad[X]](m: M[X], f: X => M[Y]): M[Y] = f(m.x) - println(flatMap(Left(1), {x: Int => Left(x)})) -} -trait Test2 { - trait Monad[X] { - def x: X - } - sealed abstract class Either[A,B] - case class Left[A,B](x: A) extends Either[A,B] with Monad[A] - case class Right[A,B](x: B) extends Either[A,B] with Monad[B] - def flatMap[X,Y,M[X]](m: M[X], f: X => M[Y]): M[Y] - println(flatMap(Left(1), {x: Int => Left(x)})) -} -trait Test3 { - def flatMap[X,Y,M[X]](m: M[X], f: X => M[Y]): M[Y] - println(flatMap(Some(1), {x: Int => Some(x)})) -} -- cgit v1.2.3