From b5b3ce4df69c6dd19506cd332a97c1ad6660e4a5 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Thu, 5 Apr 2007 12:59:40 +0000
Subject: 4-digits numbering

---
 test/pending/run/bug0412.scala | 33 +++++++++++++++++++++++++++++++++
 test/pending/run/bug0551.scala |  5 +++++
 test/pending/run/bug1031.scala | 11 +++++++++++
 test/pending/run/bug412.scala  | 33 ---------------------------------
 test/pending/run/bug551.scala  |  5 -----
 5 files changed, 49 insertions(+), 38 deletions(-)
 create mode 100644 test/pending/run/bug0412.scala
 create mode 100644 test/pending/run/bug0551.scala
 create mode 100644 test/pending/run/bug1031.scala
 delete mode 100644 test/pending/run/bug412.scala
 delete mode 100644 test/pending/run/bug551.scala

(limited to 'test/pending/run')

diff --git a/test/pending/run/bug0412.scala b/test/pending/run/bug0412.scala
new file mode 100644
index 0000000000..4610235427
--- /dev/null
+++ b/test/pending/run/bug0412.scala
@@ -0,0 +1,33 @@
+object Magic {
+
+  abstract class A[T1,T2]() {
+    trait C            { type T; }
+    trait C1 extends C { type T = T1; }
+    trait C2 extends C { type T <: T2; }
+
+    type CX;
+
+    var cv: CX with C2 = _;
+    val c: CX with C2 = cv;
+
+    def castA(x: c.T): T2 = x;
+  }
+
+  class B[T1,T2] extends A[T1,T2]() {
+    type CX = C1;
+
+    def castB(x: T1): T2 = castA(x);
+  }
+
+  def cast[T1,T2](v: T1): T2 =
+    new B[T1,T2]().castB(v)
+
+}
+
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    Magic.cast[String,Exception]("xyz").printStackTrace();
+  }
+
+}
diff --git a/test/pending/run/bug0551.scala b/test/pending/run/bug0551.scala
new file mode 100644
index 0000000000..ffa36d7cb0
--- /dev/null
+++ b/test/pending/run/bug0551.scala
@@ -0,0 +1,5 @@
+case class A(x: int)
+class B(x: int) extends A(x)
+object Test extends Application {
+  Console.println(A(1) == new B(1))
+}
diff --git a/test/pending/run/bug1031.scala b/test/pending/run/bug1031.scala
new file mode 100644
index 0000000000..4db5674489
--- /dev/null
+++ b/test/pending/run/bug1031.scala
@@ -0,0 +1,11 @@
+abstract class Tree
+case class Foo(xs: List[Int]) extends Tree
+
+object test extends Application {
+  Foo(Nil) match {
+    case Foo(xs: List[_]) =>
+      Console.println(xs)
+    case _ =>
+      ;
+  }
+}
diff --git a/test/pending/run/bug412.scala b/test/pending/run/bug412.scala
deleted file mode 100644
index 4610235427..0000000000
--- a/test/pending/run/bug412.scala
+++ /dev/null
@@ -1,33 +0,0 @@
-object Magic {
-
-  abstract class A[T1,T2]() {
-    trait C            { type T; }
-    trait C1 extends C { type T = T1; }
-    trait C2 extends C { type T <: T2; }
-
-    type CX;
-
-    var cv: CX with C2 = _;
-    val c: CX with C2 = cv;
-
-    def castA(x: c.T): T2 = x;
-  }
-
-  class B[T1,T2] extends A[T1,T2]() {
-    type CX = C1;
-
-    def castB(x: T1): T2 = castA(x);
-  }
-
-  def cast[T1,T2](v: T1): T2 =
-    new B[T1,T2]().castB(v)
-
-}
-
-object Test {
-
-  def main(args: Array[String]): Unit = {
-    Magic.cast[String,Exception]("xyz").printStackTrace();
-  }
-
-}
diff --git a/test/pending/run/bug551.scala b/test/pending/run/bug551.scala
deleted file mode 100644
index ffa36d7cb0..0000000000
--- a/test/pending/run/bug551.scala
+++ /dev/null
@@ -1,5 +0,0 @@
-case class A(x: int)
-class B(x: int) extends A(x)
-object Test extends Application {
-  Console.println(A(1) == new B(1))
-}
-- 
cgit v1.2.3