gixed gilles' gadt problems. Added some tests

2 files changed, 22 insertions, 0 deletions

diff --git a/test/pending/run/t0508.scala b/test/pending/run/t0508.scala
new file mode 100755
index 0000000000..7ef6f8197f
--- /dev/null
+++ b/test/pending/run/t0508.scala
@@ -0,0 +1,13 @@
+object Test extends Application {
+
+  case class Foo(s: String, n: Int)
+
+  def foo[A, B, C](unapply1: A => Option[(B, C)], v: A) = {
+    unapply1(v) match {
+      case Some((fst, snd)) => println("first: " + fst, " second: " + snd)
+      case _ => println(":(")
+    }
+  }
+
+  foo(Foo.unapply, Foo("this might be fun", 10))
+}
diff --git a/test/pending/run/t0889.scala b/test/pending/run/t0889.scala
new file mode 100755
index 0000000000..db6076e8e2
--- /dev/null
+++ b/test/pending/run/t0889.scala
@@ -0,0 +1,9 @@
+object Test extends Application {
+
+  val a = List("a")
+
+  a match {
+    case Seq("a", "b", rest @ _*) => println("a, b, " + rest)
+    case Seq(first, rest @ _*) => println("first: " + first + ", rest: " + rest)
+  }
+}