summaryrefslogtreecommitdiff
path: root/test/files/pos/List1.scala
diff options
context:
space:
mode:
authorGilles Dubochet <gilles.dubochet@epfl.ch>2005-12-16 18:20:15 +0000
committerGilles Dubochet <gilles.dubochet@epfl.ch>2005-12-16 18:20:15 +0000
commit17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3 (patch)
treebb804b4038eb6d0dee58b77cea8bd2dcc6f42dc4 /test/files/pos/List1.scala
parente70a1a24ef7a7b596a92e1853fd44e96f36ad245 (diff)
downloadscala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.tar.gz
scala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.tar.bz2
scala-17e2b1c2a6f69ba74e79c30d1e44195fe732e3e3.zip
Removed old scala tests from new Scala core mod...
Removed old scala tests from new Scala core module.
Diffstat (limited to 'test/files/pos/List1.scala')
-rw-r--r--test/files/pos/List1.scala45
1 files changed, 0 insertions, 45 deletions
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);
- ()
- }
-}