From 416062aa915f76195486e2400a2983c4cf372017 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 28 May 2003 14:20:30 +0000
Subject: *** empty log message ***

---
 test/files/pos/infer2.scala    | 10 ++++++++++
 test/files/pos/michel6.scala   |  6 ++++++
 test/files/pos/propagate.scala | 17 +++++++++++++++++
 test/files/pos/scoping1.scala  |  8 ++++++++
 test/files/pos/scoping2.scala  | 14 ++++++++++++++
 test/files/pos/scoping3.scala  | 20 ++++++++++++++++++++
 6 files changed, 75 insertions(+)
 create mode 100644 test/files/pos/infer2.scala
 create mode 100644 test/files/pos/michel6.scala
 create mode 100644 test/files/pos/propagate.scala
 create mode 100644 test/files/pos/scoping1.scala
 create mode 100644 test/files/pos/scoping2.scala
 create mode 100644 test/files/pos/scoping3.scala

(limited to 'test/files/pos')

diff --git a/test/files/pos/infer2.scala b/test/files/pos/infer2.scala
new file mode 100644
index 0000000000..5e93446cdf
--- /dev/null
+++ b/test/files/pos/infer2.scala
@@ -0,0 +1,10 @@
+module test {
+
+  def f[a, b <: a](x: b): a = x: a;
+  def g[a >: b, b](x: b): a = x: a;
+
+  val x: int = f(1);
+  val y: String = g("")
+
+}
+
diff --git a/test/files/pos/michel6.scala b/test/files/pos/michel6.scala
new file mode 100644
index 0000000000..b32e8bed75
--- /dev/null
+++ b/test/files/pos/michel6.scala
@@ -0,0 +1,6 @@
+object M {
+   def f(x: Int): Unit = {}
+
+   def g(): Int => Unit =
+     if (0 == 0) f else g()
+ }
diff --git a/test/files/pos/propagate.scala b/test/files/pos/propagate.scala
new file mode 100644
index 0000000000..84f4f5d6d2
--- /dev/null
+++ b/test/files/pos/propagate.scala
@@ -0,0 +1,17 @@
+class C {
+
+  def f[a](x: a): a = {
+
+    class D() {
+      def g(x: a) = f(x): a;
+    }
+
+    new D().g(x);
+
+  }
+
+}
+
+
+
+
diff --git a/test/files/pos/scoping1.scala b/test/files/pos/scoping1.scala
new file mode 100644
index 0000000000..8bd443fd21
--- /dev/null
+++ b/test/files/pos/scoping1.scala
@@ -0,0 +1,8 @@
+object This {
+     trait A {
+         def foo(): unit;
+     }
+     class C: A {
+         def bar() = foo();
+     }
+}
diff --git a/test/files/pos/scoping2.scala b/test/files/pos/scoping2.scala
new file mode 100644
index 0000000000..8fcd71bb8b
--- /dev/null
+++ b/test/files/pos/scoping2.scala
@@ -0,0 +1,14 @@
+object That {
+     trait A {
+         type T <: I;
+         trait I {}
+     }
+     trait B {
+     	type T <: J;
+     	trait J {}
+     }
+     type C = A with B {
+         type T <: I with J;
+     }
+}
+
diff --git a/test/files/pos/scoping3.scala b/test/files/pos/scoping3.scala
new file mode 100644
index 0000000000..4ebc7f6378
--- /dev/null
+++ b/test/files/pos/scoping3.scala
@@ -0,0 +1,20 @@
+object CI {
+   trait TreeDisplay {
+	type TreeNode <: ITreeNode;
+	trait ITreeNode {
+	  def display(): unit;
+	}
+   }
+   trait TreeDisplayExp {
+	def getRoot(): TreeNode;
+	type TreeNode <: ITreeNodeExp;
+	trait ITreeNodeExp {}
+   }
+   trait TreeDisplayFinal extends TreeDisplay with TreeDisplayExp {
+   	type TreeNode <: ITreeNode with ITreeNodeExp;
+   }
+   abstract class SimpleTreeDisplay: TreeDisplayFinal extends
+TreeDisplay {
+     def display() = { this.getRoot().display(); }
+   }
+}
-- 
cgit v1.2.3