diff options
author | Martin Odersky <odersky@gmail.com> | 2004-01-07 15:28:48 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2004-01-07 15:28:48 +0000 |
commit | 836f5fbd907fe00bd9bd3849f1d41b13c2afd53a (patch) | |
tree | ceda286a11d8f97234bb77634f8e21f23a795433 /test/files/pos/List1.scala | |
parent | dcac982fd6aefe45c6e91cb582044c54e40dee47 (diff) | |
download | scala-836f5fbd907fe00bd9bd3849f1d41b13c2afd53a.tar.gz scala-836f5fbd907fe00bd9bd3849f1d41b13c2afd53a.tar.bz2 scala-836f5fbd907fe00bd9bd3849f1d41b13c2afd53a.zip |
*** empty log message ***
Diffstat (limited to 'test/files/pos/List1.scala')
-rw-r--r-- | test/files/pos/List1.scala | 45 |
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 f0fce9501f..0000000000 --- a/test/files/pos/List1.scala +++ /dev/null @@ -1,45 +0,0 @@ -object lists { - - trait List[a] { - def isEmpty: Boolean; - def head: a; - def tail: List[a]; - def prepend(x: a) = Cons[a](x, this); - } - - def Nil[a] = new List[a] { - def isEmpty: Boolean = true; - def head = error("head of Nil"); - def tail = error("tail of Nil"); - } - - def Cons[a](x: a, xs: List[a]): List[a] = new List[a] { - 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); - () - } -} |