From 17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3 Mon Sep 17 00:00:00 2001
From: Gilles Dubochet <gilles.dubochet@epfl.ch>
Date: Fri, 16 Dec 2005 18:20:15 +0000
Subject: Removed old scala tests from new Scala core mod...

Removed old scala tests from new Scala core module.
---
 test/files/pos/List1.scala | 45 ---------------------------------------------
 1 file changed, 45 deletions(-)
 delete mode 100644 test/files/pos/List1.scala

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

diff --git a/test/files/pos/List1.scala b/test/files/pos/List1.scala
deleted file mode 100644
index 1321d95c20..0000000000
--- a/test/files/pos/List1.scala
+++ /dev/null
@@ -1,45 +0,0 @@
-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