diff options
author | Paul Phillips <paulp@improving.org> | 2009-09-11 15:23:05 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-09-11 15:23:05 +0000 |
commit | 61ff261346289f7886350a8a4da5688574070e59 (patch) | |
tree | 4869fbb98aebf26b97b473ba27a0ea0deba72874 /test/files/pos/jesper.scala | |
parent | 8871528f60958a45eb119a5cc487f87215e4e92f (diff) | |
download | scala-61ff261346289f7886350a8a4da5688574070e59.tar.gz scala-61ff261346289f7886350a8a4da5688574070e59.tar.bz2 scala-61ff261346289f7886350a8a4da5688574070e59.zip |
Deprecated case classes inheriting from other c...
Deprecated case classes inheriting from other case classes, and updated
all the tests which did so.
Diffstat (limited to 'test/files/pos/jesper.scala')
-rw-r--r-- | test/files/pos/jesper.scala | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/test/files/pos/jesper.scala b/test/files/pos/jesper.scala deleted file mode 100644 index b2a027b0f2..0000000000 --- a/test/files/pos/jesper.scala +++ /dev/null @@ -1,30 +0,0 @@ -object Pair { - sealed trait Pair { - type First - type Second <: Pair - } - - case class End extends Pair { - type First = Nothing - type Second = End - - def ::[T](v : T) : Cons[T, End] = Cons(v, this) - } - - case object End extends End - - final case class Cons[T1, T2 <: Pair](_1 : T1, _2 : T2) extends Pair { - type First = T1 - type Second = T2 - - def ::[T](v : T) : Cons[T, Cons[T1, T2]] = Cons(v, this) - def find[T](implicit finder : Cons[T1, T2] => T) = finder(this) - } - - implicit def findFirst[T1, T2 <: Pair] : Cons[T1, T2] => T1 = (p : Cons[T1, T2]) => p._1 - implicit def findSecond[T, T1, T2 <: Pair](implicit finder : T2 => T) : Cons[T1, T2] => T = (p : Cons[T1, T2]) => finder(p._2) - - val p : Cons[Int, Cons[Boolean, End]] = 10 :: false :: End -// val x : Boolean = p.find[Boolean](findSecond(findFirst)) - val x2 : Boolean = p.find[Boolean] // Doesn't compile -} |