From 9aae43ad9f3f015811d3de8e05dfb521001c244e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 22 Nov 2009 18:13:34 +0000 Subject: Moved failing test due to fix of #2635 to pending. --- test/files/pos/bug1357.scala | 21 --------------------- test/pending/pos/bug1357.scala | 21 +++++++++++++++++++++ 2 files changed, 21 insertions(+), 21 deletions(-) delete mode 100644 test/files/pos/bug1357.scala create mode 100644 test/pending/pos/bug1357.scala diff --git a/test/files/pos/bug1357.scala b/test/files/pos/bug1357.scala deleted file mode 100644 index fcdecb3ad3..0000000000 --- a/test/files/pos/bug1357.scala +++ /dev/null @@ -1,21 +0,0 @@ -object NonEmptyCons { - def unapply[H, T](c: (H, T)): Option[(H, T)] = Some(c) -} - - -object Main { - - type BT[+H, +T <: Tuple2[Tuple2[H, T], Tuple2[H, T]]] = Tuple2[H, T] - - // type T = Tuple2[String,String] - type BinaryTree[+E] = BT[E, T forSome { type T <: Tuple2[BT[E, T], BT[E, T]] }] - - def foo[E](tree: BinaryTree[E]): Unit = tree match { - case NonEmptyCons(_, tail) => { - tail match { - case NonEmptyCons(_, _) => { - } - } - } - } -} \ No newline at end of file diff --git a/test/pending/pos/bug1357.scala b/test/pending/pos/bug1357.scala new file mode 100644 index 0000000000..fcdecb3ad3 --- /dev/null +++ b/test/pending/pos/bug1357.scala @@ -0,0 +1,21 @@ +object NonEmptyCons { + def unapply[H, T](c: (H, T)): Option[(H, T)] = Some(c) +} + + +object Main { + + type BT[+H, +T <: Tuple2[Tuple2[H, T], Tuple2[H, T]]] = Tuple2[H, T] + + // type T = Tuple2[String,String] + type BinaryTree[+E] = BT[E, T forSome { type T <: Tuple2[BT[E, T], BT[E, T]] }] + + def foo[E](tree: BinaryTree[E]): Unit = tree match { + case NonEmptyCons(_, tail) => { + tail match { + case NonEmptyCons(_, _) => { + } + } + } + } +} \ No newline at end of file -- cgit v1.2.3