From 02550b2be341217162549fd3e45ef33b7532c0f3 Mon Sep 17 00:00:00 2001
From: mihaylov <mihaylov@epfl.ch>
Date: Tue, 17 Apr 2007 12:05:31 +0000
Subject: Moved some test from pending/ to files/

---
 test/files/pos/bug0422.scala | 17 +++++++++++++++++
 test/files/pos/bug0599.scala | 18 ++++++++++++++++++
 test/files/pos/bug0646.scala | 21 +++++++++++++++++++++
 3 files changed, 56 insertions(+)
 create mode 100644 test/files/pos/bug0422.scala
 create mode 100644 test/files/pos/bug0599.scala
 create mode 100644 test/files/pos/bug0646.scala

(limited to 'test/files/pos')

diff --git a/test/files/pos/bug0422.scala b/test/files/pos/bug0422.scala
new file mode 100644
index 0000000000..cb3ba279d4
--- /dev/null
+++ b/test/files/pos/bug0422.scala
@@ -0,0 +1,17 @@
+import scala.util.regexp.WordExp;
+import scala.util.automata.WordBerrySethi;
+
+object BoolWordExp extends WordExp {
+  type _labelT = MyLabels;
+  type _regexpT = RegExp;
+  abstract class MyLabels extends Label ;
+  case class MyLabel(c:Char) extends MyLabels;
+}
+
+object MyTranslator extends WordBerrySethi {
+  override val lang = BoolWordExp;
+  import lang._;
+  override protected def seenLabel( r:RegExp, i:Int, label: _labelT ): Unit = {
+    super.seenLabel(r,i,label)
+  }
+}
diff --git a/test/files/pos/bug0599.scala b/test/files/pos/bug0599.scala
new file mode 100644
index 0000000000..885159af66
--- /dev/null
+++ b/test/files/pos/bug0599.scala
@@ -0,0 +1,18 @@
+abstract class FooA {
+    type A <: Ax;
+    abstract class Ax;
+    abstract class InnerA {
+      type B <: A;
+      def doB : B;
+    }
+  }
+  trait FooB extends FooA {
+    type A <: Ax;
+    trait Ax extends super.Ax { def xxx : Int; }
+    abstract class InnerB extends InnerA {
+      // type B <: A;
+      val a : A = doB;
+      a.xxx;
+      doB.xxx;
+    }
+  }
diff --git a/test/files/pos/bug0646.scala b/test/files/pos/bug0646.scala
new file mode 100644
index 0000000000..64214f65b1
--- /dev/null
+++ b/test/files/pos/bug0646.scala
@@ -0,0 +1,21 @@
+object xfor {
+
+  import scala.xml.NodeSeq
+
+    val books =
+    <bks>
+      <title>Blabla</title>
+      <title>Blubabla</title>
+      <title>Baaaaaaalabla</title>
+    </bks>;
+
+  new NodeSeq { val theSeq = books.child }  match {
+    case t @ <title>Blabla</title> => t
+  }
+
+  //val n: NodeSeq = new NodeSeq { val theSeq = books.child }
+  //n match {
+  //  case t @ <title>Blabla</title> => t
+  //}
+
+}
-- 
cgit v1.2.3