From 25a98964b5109aa55b71a8a26886c59903193548 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 6 Oct 2005 13:14:33 +0000
Subject: *** empty log message ***

---
 test-nsc/files/pos/List1.scala | 45 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100755 test-nsc/files/pos/List1.scala

(limited to 'test-nsc/files/pos/List1.scala')

diff --git a/test-nsc/files/pos/List1.scala b/test-nsc/files/pos/List1.scala
new file mode 100755
index 0000000000..1321d95c20
--- /dev/null
+++ b/test-nsc/files/pos/List1.scala
@@ -0,0 +1,45 @@
+object lists {
+
+  abstract class List[a] {
+      def isEmpty: Boolean;
+      def head: a;
+      def tail: List[a];
+      def prepend(x: a) = Cons[a](x, this);
+  }
+
+  def Nil[b] = new List[b] {
+    def isEmpty: Boolean = true;
+    def head = error("head of Nil");
+    def tail = error("tail of Nil");
+  }
+
+  def Cons[c](x: c, xs: List[c]): List[c] = new List[c] {
+    def isEmpty = false;
+    def head = x;
+    def tail = xs;
+  }
+
+  def foo = {
+    val intnil = Nil[Int];
+    val intlist = intnil.prepend(1).prepend(1+1);
+    val x: Int = intlist.head;
+    val strnil = Nil[String];
+    val strlist = strnil.prepend("A").prepend("AA");
+    val y: String = strlist.head;
+    ()
+  }
+
+  class IntList() extends List[Int] {
+    def isEmpty: Boolean = false;
+    def head: Int = 1;
+    def foo: List[Int] { def isEmpty: Boolean; def head: Int; def tail: List[Int] } = Nil[Int];
+    def tail0: List[Int] = foo.prepend(1).prepend(1+1);
+    def tail: List[Int] = Nil[Int].prepend(1).prepend(1+1);
+  }
+
+  def foo2 = {
+    val il1 = new IntList();
+    val il2 = il1.prepend(1).prepend(2);
+    ()
+  }
+}
-- 
cgit v1.2.3